Autoconf tweaks