for debianization, update server to not depend on git