hack(travis): temporarily fix travis

try a quick workaround for https://github.com/travis-ci/travis-ci/issues/1727