Fixing travis-ci (hopefully)