I think this should fix the travis stuff.