fix export_header.sh