run_test.sh now allows arbitrary DGI executables