Patched configure.in