Small ajustment of autoconf