diff --git a/src/files.c b/src/files.c
index 507dc8eed..5e1007353 100644
--- a/src/files.c
+++ b/src/files.c
@@ -42,6 +42,12 @@ extern int errno;
 # define O_BINARY 0
 #endif
 
+#if defined(WIN32)
+#define _POSIX_
+#include <limits.h>
+#undef _POSIX_
+#endif
+
 #ifdef PREFIXES_IN_USE
 #define FQN_NUMBUF 4
 static char fqn_filename_buffer[FQN_NUMBUF][FQN_MAX_FILENAME];
@@ -808,6 +814,8 @@ restore_saved_game()
 	return fd;
 }
 
+#if !defined(WIN_CE)
+
 static char*
 plname_from_file(filename)
 const char* filename;
@@ -901,6 +909,7 @@ char** saved;
     }
 }
 
+#endif /* !WIN_CE */
 
 /* ----------  END SAVE FILE HANDLING ----------- */