Regenerated: autoconf configure.in