Redirect /dev/null to stdin for run-tests.sh