Hi Ivana 
I was just googling around a bit.
Can you try to natively compile the tera renderer binary following the instructions here?
Let me know if that works.
Cheers,
Jonathan
For reference: vesc_tool_2.00: cannot execute binary file: Exec format error - Jetson TX2 - NVIDIA Developer Forums