Ptival/ProofIDE not found