opencl: new workaround after ubuntu 13.04 upgrade