changing the file extension shouldn’t do anything, especially on linux, maybe if you’re using a distro designed to do that. It will just pretend to be a different format, and if it works its pure chance, because file extensions don’t really do anything. I’ve had a lot of jpgs that weren’t actually jpegs and were actually pngs but they were listed as jpg for some reason, shit is just silly.