This file is needed because some unzip programs skip empty directories.