addpkg: binx32-tk