Fixing travis stuff...