Fix doxygen input file, upgrade it to 1.8.8