The text b1ffe2b9bd27, as Debian 11 (Bullseye) shipped it.
Obtain the list of platforms available.
clGetPlatformIDs(3clc) on Linux now
