Update run-tests.sh accordingly.