Fix ProofGeneral compile error on OSX