2 files changed, 8 insertions, 1 deletions
diff --git a/stubdom/c/Makefile b/stubdom/c/Makefile
index 6262095b66..cd74490aef 100644
--- a/stubdom/c/Makefile
+++ b/stubdom/c/Makefile
@@ -2,7 +2,12 @@ XEN_ROOT = ../..
 
 include $(XEN_ROOT)/Config.mk
 
-main.a: main.o
+all: main.a
+
+main-c.c:
+	ln -sf $(XEN_ROOT)/extras/mini-os/main.c $@
+
+main.a: main-c.o main.o 
 	$(AR) cr $@ $^
 
 clean:
diff --git a/stubdom/c/main.c b/stubdom/c/main.c
index 12288a6292..f97a0f72d4 100644
--- a/stubdom/c/main.c
+++ b/stubdom/c/main.c
@@ -1,4 +1,6 @@
 #include <stdio.h>
+#include <unistd.h>
+
 int main(void) {
         sleep(2);
         printf("Hello, world!\n");