Fix ISPC build for MIC