Another potential fix for travis-ci