How can i change the name of all the files so they have "img_0000.png", "img_0001.png" and so on, im tring to use ffmpeg to make all the png a mp4 video, i know a little bit of code, but i never tried lua before, i think i can make it work by myself but i need help with it. thx