How to remove ompl-demos from Debian 9 (Stretch)