message: Fix Makefile on the mac
  Summary: Fixes
diff: @@ -149,8 +149,8 @@ libredex_la_LIBADD = \
  $(BOOST_SYSTEM_LIB) \
  $(BOOST_REGEX_LIB) \
  $(BOOST_IOSTREAMS_LIB) \
  - -lpthread \
  - -lboost_thread
  + $(BOOST_THREAD_LIB) \
  + -lpthread
  #
  # redex-all: the main executable
  @@ -235,8 +235,8 @@ redex_all_LDADD = \
  $(BOOST_SYSTEM_LIB) \
  $(BOOST_REGEX_LIB) \
  $(BOOST_PROGRAM_OPTIONS_LIB) \
  - -lpthread \
  - -lboost_thread
  + $(BOOST_THREAD_LIB) \
  + -lpthread
  redex_all_LDFLAGS = \
  -rdynamic # function names in stack traces
  @@ -253,8 +253,8 @@ redexdump_LDADD = \
  $(BOOST_FILESYSTEM_LIB) \
  $(BOOST_SYSTEM_LIB) \
  $(BOOST_REGEX_LIB) \
  - -lpthread \
  - -lboost_thread
  + $(BOOST_THREAD_LIB) \
  + -lpthread
  #
  # redex: Python driver script
  