fixes for infrequently used distinfo options on a zipped distribution,
and cleanup afterwards