remove generate_header_file()