pipe stderr (2) to /dev/null