configure: Update for autoconf 2.71