Apparently grepping doxygen is problematic