coq/coq-bench not found