--with-tools configure option