fix travis config