--- a/rvinterf/etm/launchrvif.c	Thu Dec 19 08:06:06 2013 +0000
+++ b/rvinterf/etm/launchrvif.c	Thu Dec 19 08:15:47 2013 +0000
@@ -13,13 +13,13 @@
 
 extern int sock;
 
-char *rvinterf_lopt, *rvinterf_wopt;
+char *rvinterf_Bopt, *rvinterf_lopt, *rvinterf_wopt;
 
 launch_rvinterf(ttyport)
 	char *ttyport;
 {
 	int sp[2], rc;
-	char *rvif_argv[9], Sarg[16], **ap;
+	char *rvif_argv[11], Sarg[16], **ap;
 
 	rc = socketpair(AF_UNIX, SOCK_STREAM, 0, sp);
 	if (rc < 0) {
@@ -32,6 +32,10 @@
 	*ap++ = "rvinterf";
 	*ap++ = Sarg;
 	*ap++ = "-n";
+	if (rvinterf_Bopt) {
+		*ap++ = "-B";
+		*ap++ = rvinterf_Bopt;
+	}
 	if (rvinterf_lopt) {
 		*ap++ = "-l";
 		*ap++ = rvinterf_lopt;