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