bugfix in ispc2cpp.sh
tutorial07 supports refinement