changing Makefile so that after making, files have same modification time as they did before, to make editors happier