coq: 8.4pl2 -> 8.4pl3