fix travis config file