Tweaks to x86 configure script