Due to constraints on maximum file size, some zip files are split into many
parts with extension p01, p02, ... To obtain the original zip file, these
parts need to be concatenated as follows:

 - on Linux and Mac:

        cat file1 file2 file3 ... > destfile

 - on Windows:

        copy /b file1+file2+file3+... destfile