HAVE_DOT = YES in doxygen