fix bad disabling of doxygen