Rename in Doxyfile.in for doxygen