Tools: we don't have AP_NavEKF.h yet