How to remove gazebo7-plugin-base from Debian 9 (Stretch)