get rid of an autoconf warning