port tools/run_tests.sh