diff --git a/executer/user/Makefile.in b/executer/user/Makefile.in
index 72d3d447..3f3213a3 100644
--- a/executer/user/Makefile.in
+++ b/executer/user/Makefile.in
@@ -6,7 +6,7 @@ TARGET=mcexec
 all: $(TARGET)
 
 mcexec: mcexec.c
-	$(CC) $(CFLAGS) -pthread -o $@ $^
+	$(CC) $(CFLAGS) $(EXTRA_CFLAGS) -pthread -o $@ $^ $(EXTRA_OBJS)
 
 clean:
 	$(RM) $(TARGET) *.o