Always include <portability/toku_pthread.h> instead of <pthread.h> directly
Use toku pthreads consistently instead of raw pthreads
Remove linux specific stuff