For the record, Andreas the maintainer of NVidia OpenCL on GNU/Debian has a fix and a new version will be pushed soon.