improve make_all_header.py