Delete lamport.txt~