Yet another travis-ci change