Initialise Record count WKO+ file reader

.. don't accept an empty wko+ file.

Fixes #1064