changed the extension of the travis file