Core git uses 8000 bytes, too. I think that should be sufficient to hard-code.