add make_all_header.py