FIXUP: don't define pthread types in sys/types.h