Bugfix: if the directory to be downloaded is empty, zip it anyway