bugfix in ispc.cmake