The navigation stack I am using is 1.0.7 from boxturtle pre-compiled
packages for Ubuntu jaunty.