Fixes #3392: filename of zip archive now contains the date time of archive