flight: fix aadl build