changing dump_headers.py's default output file to 'headers'