diff --git a/src/WINNT/afsd/afskfw.c b/src/WINNT/afsd/afskfw.c
index 7448152c89..702db8f84b 100644
--- a/src/WINNT/afsd/afskfw.c
+++ b/src/WINNT/afsd/afskfw.c
@@ -58,10 +58,10 @@
 
 #undef  USE_KRB4
 #ifndef _WIN64
-#define USE_MS2MIT 1
-#define USE_LEASH 1
 #define USE_KRB524 1
 #endif
+#define USE_MS2MIT 1
+#define USE_LEASH 1
 
 #include "afskfw-int.h"
 #include "afskfw.h"
diff --git a/src/WINNT/client_creds/ipaddrchg.c b/src/WINNT/client_creds/ipaddrchg.c
index ab6d5d02ec..381c5092d2 100644
--- a/src/WINNT/client_creds/ipaddrchg.c
+++ b/src/WINNT/client_creds/ipaddrchg.c
@@ -62,10 +62,7 @@
 #include <time.h>
 #include <winsock2.h>
 
-#ifndef _WIN64
-#define USE_MS2MIT
-#define USE_KRB4
-#endif
+#define USE_MS2MIT 1
 
 #include <afs/stds.h>
 #include <krb5.h>