default value for header_ext