Patch: Fix configure check for Xaw3d