specify personal file location of Proofgeneral