Fix ods_process_kill(), wrongly cherry-picked before.