setting SDKMACHINE and MACHINE didn't work for me.
If it did work for you, can you type the exact command(s) to try?
 
Osama