steshaw/idris-elisp not found