WebCLContext: work-around for Nokia-WebCL to detect FP64-capable devices