Travis can use 7z