Still broken, slightly less ugly. Seems to trigger an attempt at pulling the latest revision, which crashes. Maybe it's better to pull a tarball and untar it? Then we wouldn't need git on the server machines, even, though I'm not sure why that seems simpler.