Travis can use 7z?