How to install prelude-manager on Debian 9 (Stretch)