Fix up more types in the ncs_navigator::ini recipe.