Better detection of incompatble Coq versions