[ci] travis workaround
A workaround for latest travis build fails (see https://github.com/travis-ci/travis-ci/issues/8920)
Thanks @avagin !
A workaround for latest travis build fails (see https://github.com/travis-ci/travis-ci/issues/8920)
Thanks @avagin !