Fix 'flush_old_exec()/setup_new_exec()' split