Fixing run_tests.php (sorry I broke it)