...moreover, the Arduino tools may have applied some patches. Did you apply them to the sources before building the tools for the new host?