Fix the travis setup