Re: scheduler/pthread build failure