TEST_PROGS := run_vmtests.sh