put call to save_header_file() back in src/meshfem3D/finalize_mesher.f90, following a request by Ebru Bozdag (she uses that file in her post-processing scripts)