Quote the arguments to grep so that sh on various platforms doesn't choke