add coq plugin, etc