# https://github.com/ProofGeneral/PG/issues/704
proofgeneral: executable-not-elf-or-script [usr/share/emacs/site-lisp/proofgeneral/generic/pg-goals.el]
