misc fixes for autoconf