Delete lamport3.rmm~