How to install v86d on Debian 9 (Stretch)