libmpfr: update to latest version 3.1.2