Renames leonardo number files.