diff --git a/mk/ci.mk b/mk/ci.mk
index 43b4c85..ff6bc6e 100644
--- a/mk/ci.mk
+++ b/mk/ci.mk
@@ -13,10 +13,7 @@ ci-img: FORCE
 # The name of the target must match the name of the filesystem config file
 desktop server demo: FORCE
 	rm -f "$(BUILD)/harddrive.img" "$(BUILD)/livedisk.iso"
-	$(MAKE) REPO_BINARY=1 \
-		FILESYSTEM_CONFIG=config/$(ARCH)/$@.toml \
-		$(BUILD)/harddrive.img \
-		$(BUILD)/livedisk.iso
+	$(MAKE) FILESYSTEM_CONFIG=config/$(ARCH)/$@.toml $(BUILD)/harddrive.img $(BUILD)/livedisk.iso
 	cp "$(BUILD)/harddrive.img" "$(IMG_DIR)/redox_$(@)$(IMG_SEPARATOR)$(IMG_TAG)_harddrive.img"
 	cp "$(BUILD)/livedisk.iso" "$(IMG_DIR)/redox_$(@)$(IMG_SEPARATOR)$(IMG_TAG)_livedisk.iso"