From a687e75e9b8a9262567955ab7bc2454aa231f2f7 Mon Sep 17 00:00:00 2001
From: nhmall <nhmall@nethack.org>
Date: Wed, 3 May 2023 12:31:15 -0400
Subject: [PATCH] WIN32 file name normalization

---
 src/files.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/files.c b/src/files.c
index 803b12d9e..650e288bc 100644
--- a/src/files.c
+++ b/src/files.c
@@ -1292,7 +1292,7 @@ get_saved_games(void)
 
                     /* rename file if it is not named as expected */
                     Strcpy(gp.plname, r);
-                    set_savefile_name(FALSE);
+                    set_savefile_name(TRUE);
                     fq_new_save = fqname(gs.SAVEF, SAVEPREFIX, 0);
                     fq_old_save = fqname(files[i], SAVEPREFIX, 1);