Hi Lisandro. Sorry I didn't reply sooner; I didn't see your message until just now. I'll make a patch for upstream when I get the chance. The patch I sent earlier let most headers remain in /usr/include, and moved just a single file to /usr/include/<triplet>. Is this reasonable? dima