Do not load ProofGeneral for Aquamacs