Tinker with doxygen; use newer version.