tools/Makefile: can handle a make command with spaces