Насколько я понимаю, у них различается ABI number. Чтобы второй запускался, надо изменить ABI number на соответствующий хост-системе. Во FreeBSD для этого есть программка brandelf. Как это сделать в debian, не знаю. И потом, запускаться-то файл станет, но не факт, что будет работать...
--------------------
Всего наилучшего, Alex Mogilnikov
|