Parece que libOpenCL.so é fornecido pelo pacote ocl-icd-opencl-dev . Para instalar este pacote, execute:
sudo apt update
sudo apt install ocl-icd-opencl-dev
Agora o libOpenCL.so deve estar localizado em /usr/lib/x86_64-linux-gnu/libOpenCL.so