Update convert_headers.pl