How to install ompl-demos on Debian 9 (Stretch)