simple_scheduler: comment out most of reschedule(), work-around for #16