Fix #26: Hide pthread from API