Have these issues been reported to the doxygen developers?