Remove useless build dep on doxygen.

pointed out by kirby@