diff --git a/repos/base/mk/prg.mk b/repos/base/mk/prg.mk
index 73ff33b300..d3412b62b7 100644
--- a/repos/base/mk/prg.mk
+++ b/repos/base/mk/prg.mk
@@ -213,7 +213,7 @@ $(TARGET): $(LINK_ITEMS) $(wildcard $(LD_SCRIPTS))
 	$(MSG_LINK)$(TARGET)
 	$(VERBOSE)libs=$(LIB_CACHE_DIR); $(LD_CMD) -o $@
 
-STRIP_TARGET_CMD ?= $(STRIP) -o $@ $<
+STRIP_TARGET_CMD ?= cp $< $@ #$(STRIP) -o $@ $<
 
 $(TARGET).debug: $(TARGET)
 	$(VERBOSE)$(OBJCOPY) --only-keep-debug $< $@
diff --git a/tool/run/run b/tool/run/run
index cd94486bd7..6ebd84d2ae 100755
--- a/tool/run/run
+++ b/tool/run/run
@@ -1151,7 +1151,7 @@ proc build_core_image { modules } {
 	# create core binary containing the boot modules
 	set image_elf [run_dir]/[kernel_specific_binary image.elf]
 	build_core [run_dir]/genode/$core_obj $modules $image_elf [core_link_address]
-	exec [cross_dev_prefix]strip $image_elf
+	#exec [cross_dev_prefix]strip $image_elf
 
 	# Save config part of the image.elf for easy inspection
 	exec cp -f [run_dir]/genode/config [run_dir].config