travis file modifications