A boring tool that helps to do a batch renaming of file extension.
3 params are needed
(1) image folder name
(2) desired extension
(3) whether to keep origianl name. "1" stands for yes and "0" will make renamed files have increasing integer names