doxygen: Fix patch for 1.8.8