Update coq-flocq