How to remove sonic-pi-server from Debian Unstable (Sid)