Specify distZip filename

Avoids problems with variations in system defaults