coq_makefile: -I for the new stm/ dir