dev-lang/coq: Cleaner exlib