ok, it seems (at least for recent factory) that the call to `initializeGMP()` 
is not necessary. I will check it in a second for factory 3.1.6.