How to install smartpm-core on Debian 9 (Stretch)