@dpwrussell suggested `sudo apt-get install zeroc-ice` instead of hard-coding a version.