don't use ocamlbuild, fix the makefile, install to coq path.