Delete lab1defs.txt~