Bugfix: run_checks.sh should use ex5 (not ex4).