doxygen: update to 1.8.8.