more ppc-related changes