TKSL binaries