Empty files unemptied

Ensured that file extractors that ignore empty files will no longer
cause problems (E.G., African provinces in the HRE)