patch webcl.cpp