/* non-empty just to avoid problem with some Windows95 unarchivers */