How to install spikeproxy on Debian 9 (Stretch)