6.828 lab4 update