(this file is included because .zip files cannot contain empty directories)