minor fix for linux build, including icc