manual fix of dist/tools/linux-border_router/Doxyfile