new target for building ProofGeneral