Rename Scheduler -> Protocol_unix_scheduler