Workaround no longer needed for doxygen 1.8.6.