How to install gap-polycyclic on Debian 9 (Stretch)