Fix run_tests.sh