Fixed dump format versioning

As far as I see, currently the new dump format versioning doesn't work, as the version number is not saved to the dump file ;). Furthermore, the version number should be converted to an integer. This commit should fix both issues.