--- a/make/StripBinaries.gmk	Thu May 07 10:19:33 2015 -0700
+++ b/make/StripBinaries.gmk	Wed Jul 05 20:32:31 2017 +0200
@@ -42,7 +42,6 @@
 	$(CP) $< $@.tmp
 	$(CHMOD) u+w $@.tmp
 	$(POST_STRIP_CMD) $@.tmp
-	$(if $(POST_MCS_CMD), $(POST_MCS_CMD) $@.tmp)
 	$(CHMOD) go-w $@.tmp
 	$(MV) $@.tmp $@
   endef