diff --git a/startwds.sh b/startwds.sh
index 70773a77cdd947255d2db63943dad21e57898f94..4e1a0796ea48ccb536cbf247b5f23b050a583ada 100755
--- a/startwds.sh
+++ b/startwds.sh
@@ -193,12 +193,12 @@ printf "%s %s: " "`date +%Y%m%d%H%M%S`" "${MYNAME}" >> ${ServerMsgLog}
 printf "setting handles to %s and coresize to %s blocks\n" "`echo ${cfg_handles}| cut -d ' ' -f 2`" "`echo ${cfg_coresize} | cut -d ' ' -f 2`" | tee -a ${ServerMsgLog}
 if [ $cfg_dbgctl -eq 0 ]; then
 	printf "%s %s: " "`date +%Y%m%d%H%M%S`" "${MYNAME}" >> ${ServerMsgLog}
-	printf "starting %s [%s] with options [%s] on [%s]\n" "${SERVERNAME}" "$WDS_BIN" "$cfg_srvopts" "${HOSTNAME}" | tee -a ${ServerMsgLog} ${ServerErrLog};
+	printf "starting %s [%s] with options [%s] on [%s]\n" "${SERVERNAME}" "$WDS_BINABS" "$cfg_srvopts" "${HOSTNAME}" | tee -a ${ServerMsgLog} ${ServerErrLog};
 	# start the server process
-	$WDS_BIN $cfg_srvopts 2>> ${ServerErrLog} >> ${ServerMsgLog} &
+	$WDS_BINABS $cfg_srvopts 2>> ${ServerErrLog} >> ${ServerMsgLog} &
 else
 	printf "%s %s: " "`date +%Y%m%d%H%M%S`" "${MYNAME}" >> ${ServerMsgLog}
-	printf "starting %s [%s] using GDB in batch mode with options [%s] on [%s]\n" "${SERVERNAME}" "$WDS_BIN" "$cfg_srvopts" "${HOSTNAME}" | tee -a ${ServerMsgLog} ${ServerErrLog};
+	printf "starting %s [%s] using GDB in batch mode with options [%s] on [%s]\n" "${SERVERNAME}" "$WDS_BINABS" "$cfg_srvopts" "${HOSTNAME}" | tee -a ${ServerMsgLog} ${ServerErrLog};
 	gdb --batch --command ${cfg_gdbcommands} 2>> ${ServerErrLog} >> ${ServerMsgLog} &
 fi
 # this on seems to be simpler to grasp the PID than using ps
diff --git a/sysfuncs.sh b/sysfuncs.sh
index 81fcfe449cf22abeef7c00cca7117ba62be2f4f2..2bedfdf8b26a546302dfd763e675bbf8b776f328 100755
--- a/sysfuncs.sh
+++ b/sysfuncs.sh
@@ -559,7 +559,7 @@ cat > ${outputfile} <<-EOF
 	set environment LOGDIR=${LOGDIR}
 	set environment PID_FILE=${PID_FILE}
 	set auto-solib-add 1
-	file ${WDS_BIN}
+	file ${WDS_BINABS}
 	set args ${locsrvopts}
 EOF
 	if [ $locRunAsServer -eq 1 ]; then