Bug fix - a libXaw3d build failure after c133304.