Single file change caused FAA outage grounding thousands of flights