don't install doxygen, use binary in opt instead