Some tweaks for a smoother installation of Coq