If we're building a sketch without VERBOSE set, send STDOUT to /dev/null since Arduino otherwise prints unskippable diagnostics#1460