updated pari to 2.5.3. new timings