install-server: fix build