configure.patch: