Doxygen 1.8.8 (upgrade from 1.8.7)

1.8.7 -> 1.8.8