fix travis config #3