How to install vcsh on Debian 9 (Stretch)