I realized it might also be useful to include GMP’s ‘config.log’ with ‘--keep-failed’, so I’ll send it as an attachment in this email. Thank you in advance once again!