Bugfix
   * Silence spurious -Wunterminated-string-initialization warnings introduced
     by GCC 15. Fixes #9944.
