Make TravisCI happy