How to install supertux-data on Debian 9 (Stretch)