--- a/config.lib	Sat Jan 06 14:29:07 2007 +0000
+++ b/config.lib	Sat Jan 06 20:39:27 2007 +0000
@@ -849,11 +849,11 @@
 
 	if [ -n "$with_midi" ]
 	then
-		CFLAGS="$CFLAGS -DEXTERNAL_PLAYER=\"$with_midi\""
+		CFLAGS="$CFLAGS -DEXTERNAL_PLAYER=\\\\\"$with_midi\\\\\""
 	fi
 	if [ -n "$with_midi_arg" ]
 	then
-		CFLAGS="$CFLAGS -DMIDI_ARG=\"$with_midi_arg\""
+		CFLAGS="$CFLAGS -DMIDI_ARG=\\\\\"$with_midi_arg\\\\\""
 	fi
 
 	if [ "$enable_dedicated" != "0" ]