autoconf tweaks for checking doxygen