The FlightGear flight simulator