coq_HEAD: update