Small improvements on autoconf.ac