Coq_makefile: fix cmx compilation when there are both ml and mllib