autoconf refinement