changed travis config.