Doxygen 1.8.8 (upgrade from 1.8.7)
doxygen: update 1.8.8 bottle.