fix compile error in ProofGeneral on OSX