Follow-up to fix ispc built