How to rename files on mac as a batch