Coq 8.4 used instead of Coq trunk