Fixed some travis settings