I thought I could use zip / unzip to overcome the stash / unstash inadequacy with regards to timestamps (JENKINS-46582). Unfortunately the unzip step seems to be feature incomplete.

• zip puts the original file timestamps in the zip file [ok]
• unzip extracts files with extraction timestamp instead of original timestamp [nok].