Updated Coq version