Re: [PD-dev] shell undefined symbols _sched_setscheduler