Fix -DDEBUG builds for a couple of OpenCL formats.