flush stdout in run-tests.py