Fix broken install when doxygen is not found