2 files changed, 4 insertions, 1 deletions
diff --git a/gc/if_mach b/gc/if_mach
new file mode 100755
index 0000000..94a6279
--- /dev/null
+++ b/gc/if_mach
diff --git a/gc/if_mach.c b/gc/if_mach.c
index af01363..fd6009e 100644
--- a/gc/if_mach.c
+++ b/gc/if_mach.c
@@ -1,7 +1,9 @@
 /* Conditionally execute a command based on machine and OS from gcconfig.h */
 
-# include "gcconfig.h"
+# include "private/gcconfig.h"
 # include <stdio.h>
+# include <string.h>
+# include <unistd.h>
 
 int main(argc, argv, envp)
 int argc;
@@ -13,6 +15,7 @@ char ** envp;
     if (strcmp(OS_TYPE, "") != 0 && strcmp(argv[2], "") != 0
         && strcmp(OS_TYPE, argv[2]) != 0) return(0);
     printf("^^^^Starting command^^^^\n");
+    fflush(stdout);
     execvp(argv[3], argv+3);
     perror("Couldn't execute");