configure: use grep in quiet mode, rather than piping stderr/stdout to /dev/null