doxygen: do not depend on install

Various patches we use in Fedora.