fixup 4.7 configure options