proof-ninja/coq-result not found