trying to fix the travis file