Fixing travis file v12