diff -ur b/src/Makefile.OCaml work/src/Makefile.OCaml
--- src/Makefile.OCaml	2018-01-27 12:53:44.000000000 -0800
+++ src/Makefile.OCaml	2019-05-12 20:56:59.844614255 -0700
@@ -358,9 +358,11 @@
 ifeq ($(DEBUGGING), false)
   ifneq ($(OSARCH), win32)
     ifneq ($(OSARCH), osx)
-      # Strip the binary (does not work with MS compiler; might not work
-      # under OSX)
-      CFLAGS+=-cclib -Wl,-s
+      ifeq ($(NATIVE), true)
+        # Strip the binary (does not work with MS compiler; might not work
+        # under OSX)
+        CFLAGS+=-cclib -Wl,-s
+      endif
     endif
   endif
 endif