Travis hotfix (again)