Installing the Prosys server