Fix configure.ac when doxygen is not installed