[Travis] hopefully fix 7zip extraction