WebCLPreprocessor::PragmaOpenCLExtension: revised error message
driver: implemented --disable=extensionname