Revert a makefile quoting issue that got fixed and then reverted. Please don't
hack the makefile!