[Bug 680510] sched_setscheduler: Operation not permitted