[travis] Make Travis happy