The Coq build is now fixed