MatthewStuber/EAGODomainReduction.jl not found