fixes for netkit tcp exercises