Index: src/idl-compiler/orbit-idl-c-headers.c
===================================================================
--- src/idl-compiler/orbit-idl-c-headers.c	(revision 2103)
+++ src/idl-compiler/orbit-idl-c-headers.c	(working copy)
@@ -587,6 +587,16 @@
 	while(*cte && !isspace((int)*cte) && *cte != '"') cte++;
 	*cte = '\0';
       fprintf(ci->fh, "#include <%s>\n", ctmp);
+    } else if(!strncmp(list->data,
+		"#pragma\tinclude_defs",
+		sizeof("#pragma\tinclude_defs")-1)) {
+	char *ctmp, *cte;
+	ctmp = ((char *)list->data) + sizeof("#pragma\tinclude_defs");
+	while(*ctmp && (isspace((int)*ctmp) || *ctmp == '"')) ctmp++;
+	cte = ctmp;
+	while(*cte && !isspace((int)*cte) && *cte != '"') cte++;
+	*cte = '\0';
+      fprintf(ci->fh, "#include <%s>\n", ctmp);
     } else
       fprintf(ci->fh, "%s\n", (char *)list->data);
   }
