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