Fix gcc 4.8 run_test.py