make doxygen output verbose, to find a windows bug