Docker: use tar instead of (un)zip when getting IVRE