Make TravisCI happier