Bumping Coq version