Part file naming problem.

[Kirtai]

When dumping a wud (or wux over a certain size), the part names go from single to double digits.

This causes a hard to spot problem when joining the part files using cat(1) on linux. The part files get joined in the wrong order.

cat game.wud.part* > game.wud

joins them in the order 1, 10, 11, 12, 2, 3, ...

(lexical order instead of numeric order)

Would it be possible to change the part file naming so they always end in two digits?
This would prevent people getting caught by this in the future.

i.e.

game.wud.part01
game.wud.part02
...
game.wud.part11
game.wud.part12

instead of

game.wud.part1
game.wud.part2
...
game.wud.part11
game.wud.part12