edit WP5 (HPC) for PARI