Fixing travis file v10