Users have an older git in their user environment and it doesn't work without it. We should keep it around for a while.