pplatex: use prce's opt-prefix