How to remove opencl-1.2-html-doc from Debian 9 (Stretch)