How to install xserver-xorg-video-ast on Debian 9 (Stretch)