fixed problem in autoconf using Xaw3d