Some archive decompressors don't recreate empty directories.

Therefore this directory is now not empty so it should be re-created on
decompression :-)

This file can be safely deleted.