minor

because of changed location of server repo