Fixed incorrect file extension

I realized that .ini files are specifically for Windows so I replaced it
with a .txt file but forgot to edit the code to reflect the change.