Fixing travis file v11