How to install devrplay3 on Debian Unstable (Sid)