Fixup: Remove pthread.h