[Xotcl] yet more fixes to xotcl-1.3.3 ...