remove PlatformScheduler

PlatformScheduler got removed a few days ago.