More portable way of doing print in run_tests.py