How to remove opencl-headers from Debian 9 (Stretch)