A utility to rename a set of file