Implements #6793. Source files for ZIP archives might now specified with a path/filename how they are called inside the ZIP.