Editing the travis file