Updated libgmp to version 5.1.3 from version 5.1.0
Updated libmpc to version 1.0.2 from version 1.0.1
Updated libmpfr to version 3.1.2 from version 3.1.1