Moved renumbering files to util/.