manual fix of riot.doxyfile