--- src/dvdnav_internal.h	2007-04-21 13:56:41.000000000 +0200
+++ ../dvdnav_internal.h	2008-09-11 12:49:29.267986500 +0200
@@ -37,7 +37,7 @@ typedef CRITICAL_SECTION pthread_mutex_t
 #define pthread_mutex_init(a, b) InitializeCriticalSection(a)
 #define pthread_mutex_lock(a)    EnterCriticalSection(a)
 #define pthread_mutex_unlock(a)  LeaveCriticalSection(a)
-#define pthread_mutex_destroy(a)
+#define pthread_mutex_destroy(a) DeleteCriticalSection(a)
 
 /* replacement gettimeofday implementation */
 #include <sys/timeb.h>