Travis workaround for Travis issue with older Git version
Because of travis-ci/travis-ci/issues/1710
[deploy]