Reduce nav_t size by using EXTLEX flag.