PROOF program NOT FOUND