configure.in patched