Fix ProofGeneral compile error on OSX
Merge pull request #1020 from ihji/master

fix compile error in ProofGeneral on OSX