--- a/py/mkenv.mk	2017-11-25 09:52:30.921836372 +0000
+++ a/py/mkenv.mk	2017-11-25 09:52:35.257861233 +0000
@@ -50,7 +50,6 @@
 LD = $(CROSS_COMPILE)ld
 OBJCOPY = $(CROSS_COMPILE)objcopy
 SIZE = $(CROSS_COMPILE)size
-STRIP = $(CROSS_COMPILE)strip
 AR = $(CROSS_COMPILE)ar
 ifeq ($(MICROPY_FORCE_32BIT),1)
 CC += -m32
--- a/py/mkrules.mk	2017-11-25 09:53:13.107078063 +0000
+++ a/py/mkrules.mk	2017-11-25 09:53:31.898185592 +0000
@@ -129,9 +129,6 @@
 # Do not pass COPT here - it's *C* compiler optimizations. For example,
 # we may want to compile using Thumb, but link with non-Thumb libc.
 	$(Q)$(CC) -o $@ $^ $(LIB) $(LDFLAGS)
-ifndef DEBUG
-	$(Q)$(STRIP) $(STRIPFLAGS_EXTRA) $(PROG)
-endif
 	$(Q)$(SIZE) $$(find $(BUILD) -path "$(BUILD)/build/frozen*.o") $(PROG)
 
 clean: clean-prog