Fixing travis.ci