Fixed an issue with the requested PHP extension gmp has the wrong version (0) installed