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
