erichaney/euclids-elements not found