Adding libpthread so that mutexes can be enabled