I think I found the problem: recently part of the OpenCL ICD seems to have been split into a separate library, which is not packaged in Debian: * for x86_64, libamdocl12cl64.so is needed in addition to libamdocl64.so * for x86, libamdocl12cl32.so is needed in addition to libamdocl32.so