Temporary workaround for ppc on ppc