Reverted changes of run-tests.php