Fix stop_machine_run problem with naughty real time process