[ros-diffs] [navaraf] 17482: Name the proxy makefiles "GNUmakefile" instead of "makefile".