Fixing travis file v9