--- gcc/config/i386/i386iscgas.h	2018/04/24 18:10:27	1.1
+++ gcc/config/i386/i386iscgas.h	2018/04/24 18:16:45	1.1.1.2
@@ -31,11 +31,14 @@
    `ltext_label_name', but we've already generated the label, so we just
    use it here.  --karl@cs.umb.edu  */
 #define DBX_OUTPUT_MAIN_SOURCE_DIRECTORY(asmfile, cwd)			\
-  fprintf (asmfile, "%s \"%s/\",%d,0,0,%s\n", ASM_STABS_OP,		\
-	  	     cwd, N_SO, ltext_label_name)
+  do {	fprintf (asmfile, "%s ", ASM_STABS_OP);				\
+	output_quoted_string (asmfile, cwd);				\
+	fprintf (asmfile, ",%d,0,0,%s\n", N_SO, ltext_label_name);	\
+  } while (0)
 #define DBX_OUTPUT_MAIN_SOURCE_FILENAME(asmfile, input_file_name)	\
-  fprintf (asmfile, "%s \"%s\",%d,0,0,%s\n", ASM_STABS_OP, input_file_name,\
-	   N_SO, ltext_label_name);					\
+  fprintf (asmfile, "%s ", ASM_STABS_OP);				\
+  output_quoted_string (input_file_name);				\
+  fprintf (asmfile, ",%d,0,0,%s\n", N_SO, ltext_label_name);		\
   text_section ();							\
   ASM_OUTPUT_INTERNAL_LABEL (asmfile, "Ltext", 0)