Maybe the Denver Airport Authority should consider switching to Linux