Hotfix/travis update 2

Adjusting the Travis config.