diff --git a/src/PikaPlatform.c b/src/PikaPlatform.c
index 4fc17338c164741fef238ef5cc4db63f3dafaa47..623126afb04432938eb11421afad4ae904576d1f 100644
--- a/src/PikaPlatform.c
+++ b/src/PikaPlatform.c
@@ -50,11 +50,6 @@
 
 #if PIKA_WIN_PTHREAD_ENABLE
 
-struct timeval {
-    long tv_sec;   // Seconds
-    long tv_usec;  // Microseconds
-};
-
 static void usleep(unsigned long usec) {
     HANDLE timer;
     LARGE_INTEGER interval;
@@ -725,7 +720,7 @@ PIKA_WEAK uint64_t pika_platform_thread_self(void) {
 #if defined(__linux)
     return (uint64_t)pthread_self();
 #elif PIKA_WIN_PTHREAD_ENABLE
-    return (uint64_t)(pthread_self().p);
+    return (uint64_t)(pthread_self());
 #elif PIKA_FREERTOS_ENABLE
     return (uint64_t)xTaskGetCurrentTaskHandle();
 #elif PIKA_RTTHREAD_ENABLE