Использование пин-инструментария в Ubuntu: ошибка

Возможный дубликат:
Данный файл или каталог отсутствует? Но файл существует!

Я использовал пин-код в Ubuntu Linux с

3.0.0-19-generic #33-Ubuntu SMP  x86_64; gcc version 4.6

а также в редхате

2.6.18-308.el5 #1 SMP  x86_64; gcc version 4.7

Тем не менее, я пытаюсь использовать его в Ubuntu:

Linux info 2.6.35-32-server #65-Ubuntu SMP x86_64

и получаю ошибку:

/pin-2.10-45467-gcc.3.4.6-ia32_intel64-linux/ia32/bin/pinbin: No such file or directory

Пин-код использует:

machine=`uname -m`

if [ $machine == "ia64" ] 
then
    exec "$origin"/ia64/bin/pinbin "${@}"
else
    exec "$origin"/ia32/bin/pinbin -p64 "$origin"/intel64/bin/pinbin "${@}"
fi

что меня удивляет, так как машина x86_64. Я не знаю, почему он сравнивается с ia64. Может кто-нибудь помочь. Благодарю.