Как запустить приложение с tidesdk на Linux x64?

Я хочу запустить приложение HelloWorld с помощью tidebuilder.py следующим образом (TideSDK Developer из TideSDK-Developer-1.4.2-linux-x86-64.tgz не поддерживает работай на меня):

./tidebuilder.py -rv TideSDK-HelloWorld-master

> Staging HelloWorld
>    -> Copying contents from /home/xliivdeb/.tidesdk/sdk/linux/1.3.1-beta/TideSDK-HelloWorld-master to /home/xliivdeb/.tidesdk/sdk/linux/1.3.1-beta/HelloWorld
>    -> Copying installer from /home/xliivdeb/.tidesdk/sdk/linux/1.3.1-beta/installer to /home/xliivdeb/.tidesdk/sdk/linux/1.3.1-beta/HelloWorld
>    -> Copying tiboot to /home/xliivdeb/.tidesdk/sdk/linux/1.3.1-beta/HelloWorld
> /home/xliivdeb/.tidesdk/sdk/linux/1.3.1-beta/HelloWorld/HelloWorld: /lib/x86_64-linux-gnu/libc.so.6: version `GLIBC_2.14' not found (required by /home/xliivdeb/.tidesdk/sdk/linux/1.3.1-beta/HelloWorld/HelloWorld)

но это сбой, потому что согласно сообщению об ошибке файл отсутствует. Когда я проверяю это вручную, происходит другое, см. это:

$  ll /lib/x86_64-linux-gnu/libc.so.6
lrwxrwxrwx 1 root root 12 Nov 19 00:07 /lib/x86_64-linux-gnu/libc.so.6 -> libc-2.13.so*

Как это исправить?

Платформа: Linux alef 3.2.0-4-amd64 #1 SMP Debian 3.2.35-2 x86_64 GNU/Linux