How to install topmenu-gtk3-dbg on Debian Unstable (Sid)