Make doxygen installation less noisy.