updated coq version to 8.4pl2