Left-pad solution filenames with zeros.