How to install php-zeroc-ice on Debian 9 (Stretch)