How to remove mrpt-doc from Debian 9 (Stretch)