Delete lab1defs.txt