Fix for wget .xz => .gz