OpenCL сломан на 11.10, CUDA работает

У меня два графических процессора: один - AMD (fglrx-updates) и один nVidia (nvidia-current), драйверы от PPA x-swat. Карточка AMD используется byt xorg (без проблем). Оба устройства отображаются в lspci|grep VGA:

01:00.0 VGA compatible controller: ATI Technologies Inc Device 6718
02:00.0 VGA compatible controller: nVidia Corporation Device 1200 (rev a1)

Загружен модуль ядра nvidia (dmesg|grep nvidia):

[   16.033488] nvidia 0000:02:00.0: enabling device (0000 -> 0003)
[   16.033501] nvidia 0000:02:00.0: PCI INT A -> GSI 40 (level, low) -> IRQ 40
[   16.033507] nvidia 0000:02:00.0: setting latency timer to 64

Проблема OpenCL

Я создал /etc/OpenCL/vendors/nvidia.icd, содержащий

/usr/lib/nvidia-current/libcuda.so

Устройство обнаружено, платформа NVIDIA CUDA, устройство GeForce GTX 560 Ti. Однако код не скомпилирован для устройства, clBuildProgram всегда возвращает CL_BUILD_RPOGRAM_FAILURE и запрос clGetProgramBuildInfo сбой с неинформативным обратным следом

#0  0x00007ffff7442bef in ?? () from /lib/x86_64-linux-gnu/libc.so.6
#1  0x00007ffff22c0e67 in ?? () from /usr/lib/nvidia-current/libcuda.so

. Программа создается с cl.h из SDK Intel; это нормально, так как все было в порядке, пока я не установил карту AMD рядом.

Запуск /usr/share/doc/python-pyopencl/examples/benchmark.py падает одинаково (в pyopencl::program::get_build_info).

Любой намек на то, что неправильно ?