default CARROT moved to navigation.h