This is a very simple task to do and I believe that I will able to do this very quickly. I would plan on using python to do this, and a simple script would likely suffice to get the job done and remove all the necessary file endings.
Hello I've seen your problem, I can change your file's name in Linux or Windows, it's a easy task, all send it back to you as fast as I can.
Best regards Alfonso.