[Bug 250594] pthread_attr_setscheduler() does not have the desired effect