Rewrite run-tests.sh