Fixing travis file v13