--- third_party/ffmpeg/configure.orig	2024-07-30 11:12:21 UTC
+++ third_party/ffmpeg/configure
@@ -6818,8 +6818,8 @@ if ! disabled pthreads && ! enabled w32threads && ! en
         if enabled pthread_np_h; then
             hdrs="$hdrs pthread_np.h"
         fi
-        check_lib pthread_set_name_np "$hdrs" pthread_set_name_np -lpthread
-        check_lib pthread_setname_np "$hdrs" pthread_setname_np -lpthread
+        check_lib pthread_set_name_np pthread_np.h pthread_set_name_np -lpthread
+        check_lib pthread_setname_np pthread_np.h pthread_setname_np -lpthread
     fi
 fi