$OpenBSD: patch-VAX_vax780_sbi_c,v 1.3 2008/11/04 22:13:30 sthen Exp $
--- VAX/vax780_sbi.c.orig	Sat May 31 15:26:34 2008
+++ VAX/vax780_sbi.c	Tue Nov  4 22:06:49 2008
@@ -34,6 +34,10 @@
 
 #include "vax_defs.h"
 
+#ifndef PATH_VMB_EXE
+#define PATH_VMB_EXE	"vmb.exe"
+#endif
+
 /* 11/780 specific IPRs */
 
 /* Writeable control store */
@@ -643,10 +647,10 @@ t_stat cpu_boot (int32 unitno, DEVICE *dptr)
 {
 t_stat r;
 
-printf ("Loading boot code from vmb.exe\n");
+printf ("Loading boot code from %s\n", PATH_VMB_EXE);
 if (sim_log) fprintf (sim_log, 
-    "Loading boot code from vmb.exe\n");
-r = load_cmd (0, "-O vmb.exe 200");
+    "Loading boot code from %s\n", PATH_VMB_EXE);
+r = load_cmd (0, "-O " PATH_VMB_EXE " 200");
 if (r != SCPE_OK) return r;
 SP = PC = 512;
 return SCPE_OK;
