Yet another travis-ci fix.