fix Doxyfile.in