Travis stil won't use 7z?