Fix double definition of DOXYGEN in makefiles