How to install kross-dbg on Debian 9 (Stretch)