run_tests.sh: make MONOVER configurable