Many people have reported problems with GMP on Macos Catalina. The problem now seems to have been fixed with the Xcode 11.3 release. -- Torbjörn Please encrypt, key id 0xC8601622