Bug 3405: Coq_makefile: Implicit rules only for listed files in Make file