It seems reasonable to die like this. However, if we're going to start using git's die_errno, I'd also like to use that in other places instead of die().