doxygen: fix mirror