How to install gav-themes on Debian 9 (Stretch)