diff --git a/config/intel-flags b/config/intel-flags
index 101aa09cbe..9477281d8d 100644
--- a/config/intel-flags
+++ b/config/intel-flags
@@ -57,7 +57,8 @@ if test "X-icc" = "X-$cc_vendor"; then
     CFLAGS="${CFLAGS:--std=c99 $arch}"
 
     # Production
-    PROD_CFLAGS="-O3"
+    # -s to remove all symbols for smaller file
+    PROD_CFLAGS="-O3 -s"
     PROD_CPPFLAGS=
 
     # Debug
@@ -81,7 +82,7 @@ fi
 case "$cc_vendor-$cc_version" in
     icc-8.0*)
 	# v8.0 -O3 infinite loops when compiling test/tselect.c. Use -O2.
-	PROD_CFLAGS="-O2"
+	PROD_CFLAGS="-O2 -s"
 	;;
 esac