Bugfix: configure: Look in libx32 subdirectory for boost libraries