Set proper extension for travis file