specify file location of Proofgeneral