Trying to make TravisCI happy