Logs updated to the better detection system for the wrong Coq version