Revert "Not an empty file any more"

This reverts commit b744875de05a6b33e3890bb170d7bf31fe3848b9.