PPSD: better workaround for older PPSD pickle files