server-install-linux: Use zeroc-ice virtual package