How to remove sonic-pi-server from Debian 9 (Stretch)