Fixes travis_doxygen.sh