elisp-compile agda-mode. Fix the live ebuild.