*** dist/configure.orig	Wed Aug 20 18:58:12 1997
--- dist/configure	Wed Aug 20 18:58:46 1997
***************
*** 2577,2583 ****
  cat > conftest.$ac_ext <<EOF
  #line 2579 "configure"
  #include "confdefs.h"
! #include <thread.h>, #include <synch.h>
  int main() {
  typedef sema_t tsl_t;
   sema_t x;
--- 2577,2583 ----
  cat > conftest.$ac_ext <<EOF
  #line 2579 "configure"
  #include "confdefs.h"
! #include <synch.h>
  int main() {
  typedef sema_t tsl_t;
   sema_t x;