update lab2defs.txt