Diff pari-2.15.4-r1 with a pari-2.17.1

Thank you!