install-server: fix bash issue