correct travis config ext