manual update (do not merge)

I've fixed update-git.sh and am testing this - please do not merge, since I will do that if the Travis run succeeds.