Update autoconf.py