Delete lab4defs.txt~