Trying another travis-ci fix