How to install prboom-plus-game-server on Debian 9 (Stretch)