GCC 9 did not make a difference.

Workaround pushed in 2fa55c72476c73211cbb2d6b29c05a1ad58a6cf9.  Let's
revisit this after upgrading to MariaDB 10.4.