Better fix for Doxygen building on Jenkins