Fix autoconf version number