Delete lamport.c~