bugfix in ispc.cmake
bugfix in ispc.cmake