support spaces in filenames in php checker