bugfix for OpenCL detection with Intel SDK 1.2 on linux (Bug #3140)