Patch to OpenCL generation code -> better garbage collection