merge #11584: make Header and make_header handle binary unknown-8bit input