A sed command to change the scheduler