Slightly change the output generated by --makefile-name.