Move to the HEAD version of Coq