auto generated travis file