work around a bug in autoconf