Recode PostIndex usage to work properly on PPC, inspired by ae920a10d9a9d3c609107c8f1685b86ea3588e06