A better fix that also works on ppc: add a target tripple.