Proper autoconf