Delete lamport1.txt~