install-server: fix typo

Change-Id: Id96bd135fd6af01040ea2db15b50af7cb30faf0a
Signed-off-by: Giuseppe Lavagetto <glavagetto@wikimedia.org>