Reverted (already added in run_tests.sh)