Delete ticket_spin_lock.rmm~