Tiny script to copy the master Makefile somewhere else
Handle spaces in wildcard target filenames!