How to remove choreonoid-plugins-base from Debian 9 (Stretch)