Added the 'has_header' option to FileDescriptor