diff --git a/libs/pbd/pbd/abstract_ui.h b/libs/pbd/pbd/abstract_ui.h
index de119fc238..dddcff0627 100644
--- a/libs/pbd/pbd/abstract_ui.h
+++ b/libs/pbd/pbd/abstract_ui.h
@@ -73,20 +73,19 @@ protected:
 	};
 	typedef typename RequestBuffer::rw_vector RequestBufferVector;
 
-#if defined(COMPILER_MINGW) && defined(PTW32_VERSION)
 	struct pthread_cmp
 	{
-		bool operator() (const ptw32_handle_t& thread1, const ptw32_handle_t& thread2)
+		bool operator() (const pthread_t& a, const pthread_t& b) const noexcept
 		{
-			return thread1.p < thread2.p;
+#ifdef PTW32_VERSION
+			return a.p < b.p;
+#else
+			return a < b;
+#endif
 		}
 	};
 	typedef typename std::map<pthread_t,RequestBuffer*, pthread_cmp>::iterator RequestBufferMapIterator;
 	typedef std::map<pthread_t,RequestBuffer*, pthread_cmp> RequestBufferMap;
-#else
-	typedef typename std::map<pthread_t,RequestBuffer*>::iterator RequestBufferMapIterator;
-	typedef std::map<pthread_t,RequestBuffer*> RequestBufferMap;
-#endif
 
 	RequestBufferMap request_buffers;