How to remove smalt-examples from Debian 9 (Stretch)