An updated snapshot no longer causes the problem. Sorry for the alarms. And apologies for using bugs@ instead of ppc@.