Fixing travis setup