install-server.install: fix build under RHEL