file size header field.

Thanks to Marc Abramowitz and Ronan Lamy for helping out with various
parts of the patch.