Comment about Makefile's many names
Fix regression bug in launcher script