Some unzip programs won't create directories that are empty, so this file is
here to make sure it gets created.
