[wip] Patch Doxyfile.in