check doxygen version as one gets weird messages if it is too old