Make Travis use new version of Autotools