refasplit output files with non-padded zeros

[khyox]

Bug report

Bug summary

refasplit output files are saved without zero-padding.

Running Recentrifuge

Command line

Any run of refasplit with more than 10 output files, e.g:

refasplit -d -i refasplit_test.fa.gz -o ~/tmp/refasplit_ -n 256 --compress

Data

Non relevant

Actual outcome

For 128 files:

refasplit_0.fa.gz
(...)
refasplit_9.fa.gz
refasplit_10.fa.gz
(...)
refasplit_99.fa.gz
refasplit_100.fa.gz
(...)
refasplit_128.fa.gz

Expected outcome

refasplit_000.fa.gz
(...)
refasplit_009.fa.gz
refasplit_010.fa.gz
(...)
refasplit_099.fa.gz
refasplit_100.fa.gz
(...)
refasplit_128.fa.gz

Versions

3.9.0 (refasplit was introduced in this release)