seems to fix a looping coq-tex (when compiled with camlp4)
configure.ml: opam camlp5 + system ocaml works

I didn't understand the purpose of the previous behavior so please check this commit
fix coq_makefile
Reductionops: (Co)Fixpoints are always refolded during iota