Delete lab2defs.txt~