Fixing up the travis config yet again