diff --git a/repos/base-nova/src/core/Tupfile b/repos/base-nova/src/core/Tupfile
index 9ff9c68ce..14b56e1f8 100644
--- a/repos/base-nova/src/core/Tupfile
+++ b/repos/base-nova/src/core/Tupfile
@@ -54,4 +54,5 @@ LDFLAGS += -L$(LIB_DIR) `$(PKG_CONFIG) --libs cxx-baremetal startup`
 	$(REP_DIR)/<base-common> \
 |> $(LD) $(LDFLAGS) -u _start -r \
 	%<base-libs> %<base-common> %f -o %o \
-|> core.o $(REP_DIR)/<core>
+|> core.o $(REP_DIR)/<core> {core}
+: {core} |> cp %f %o |> $(DEV_DIR)/lib/core-nova.o