Update the plugin for Coq 8.4pl3