correct the travis setup script