How to remove liboce-ocaf10 from Debian 9 (Stretch)