Juan, Thanks a lot for your help! Configure process worked well for me, and the correct x86 binaries are invoked now. Now I am fighting the cross-compilation toolkit, since it lacks some header files (e.g. inttypes.h). I'll post to the list where I'll end up at. -- Eugene