Update coq to 8.4pl1