little app to rename some files