configured Pluto to use multi-precision piplib