tagged autoconf manually