Erro do Linux ao carregar bibliotecas compartilhadas: não é possível abrir o arquivo de objeto compartilhado: Nenhum arquivo ou diretório

O programa faz parte do conjunto de testes Xenomai, compilado de forma cruzada do Linux PC para a cadeia de ferramentas Linux + Xenomai ARM. # echo $LD_LIBRARY_PATH /lib # ls /lib ld-2.3.3.so libdl-2.3.3.so libpthread-0.10.so ld-linux.so.2 libdl.so.2 libpthread.so.0 libc-2.3.3.so libgcc_s.so...