Just here to make the autoconf-script happy

