No, I did not change the file extension.

Also, I cannot delete this wallet.