Delete lab2defs.txt