Switch back to autoconf 2.57