linux-user build broken on 32-bit ppc