95a96,100
>     icc-12*)
>         # -s became obsolete; we also fixed bugs that allow us to enable higher level
>         # of optimization starting with 1.8.7
>         PROD_CFLAGS="-O3"
>         ;;