tools/gmp: update to version 5.0.1