I've solved this problem. Just renaming the file name won't change the file extension, you have to do it like the method 2 in this wikihow https://www.wikihow.com/Change-a-File-Extension. You will see that from a file named 'Scene' it will become Scene.txt. After that you just rename it...
