Fixing travis file v4