Description of problem:
ghc-gtksourceview seems unable to build with ghc-8.8.


Version-Release number of selected component (if applicable):
gtksourceview2-0.13.3.1
ghc-8.8.4
glibc-2.31.9000-19.fc33

How reproducible:
100%

Actual results:
[14 of 22] Compiling Graphics.UI.Gtk.SourceView.SourceGutter ( dist/build/Graphics/UI/Gtk/SourceView/SourceGutter.hs, dist/build/Graphics/UI/Gtk/SourceView/SourceGutter.o )
In file included from /usr/include/stdio.h:866,
                 from /usr/lib64/ghc-8.8.4/include/rts/Flags.h:16,
                 from /usr/lib64/ghc-8.8.4/include/Rts.h:200,

                 from /var/home/petersen/tmp/ghc1423160_0/ghc_72.c:2:0: error:
    
/usr/include/bits/stdio2.h: In function ‘sprintf’:

/usr/include/bits/stdio2.h:38:10: error:
     error: invalid use of ‘__builtin_va_arg_pack ()’
       38 |   return __builtin___sprintf_chk (__s, __USE_FORTIFY_LEVEL - 1,
          |          ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
       39 |       __bos (__s), __fmt, __va_arg_pack ());
          |       ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
   |
38 |   return __builtin___sprintf_chk (__s, __USE_FORTIFY_LEVEL - 1,
   |          ^
/usr/include/bits/stdio2.h: In function ‘snprintf’:

/usr/include/bits/stdio2.h:70:10: error:
     error: invalid use of ‘__builtin_va_arg_pack ()’
       70 |   return __builtin___snprintf_chk (__s, __n, __USE_FORTIFY_LEVEL - 1,
          |          ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
       71 |        __bos (__s), __fmt, __va_arg_pack ());
          |        ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
   |
70 |   return __builtin___snprintf_chk (__s, __n, __USE_FORTIFY_LEVEL - 1,
   |          ^
/usr/include/bits/stdio2.h: In function ‘fprintf’:

/usr/include/bits/stdio2.h:103:10: error:
     error: invalid use of ‘__builtin_va_arg_pack ()’
      103 |   return __fprintf_chk (__stream, __USE_FORTIFY_LEVEL - 1, __fmt,
          |          ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
      104 |    __va_arg_pack ());
          |    ~~~~~~~~~~~~~~~~~
    |
103 |   return __fprintf_chk (__stream, __USE_FORTIFY_LEVEL - 1, __fmt,
    |          ^
/usr/include/bits/stdio2.h: In function ‘printf’:

/usr/include/bits/stdio2.h:110:10: error:
     error: invalid use of ‘__builtin_va_arg_pack ()’
      110 |   return __printf_chk (__USE_FORTIFY_LEVEL - 1, __fmt, __va_arg_pack ());
          |          ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
    |
110 |   return __printf_chk (__USE_FORTIFY_LEVEL - 1, __fmt, __va_arg_pack ());
    |          ^
/usr/include/bits/stdio2.h: In function ‘dprintf’:

/usr/include/bits/stdio2.h:147:10: error:
     error: invalid use of ‘__builtin_va_arg_pack ()’
      147 |   return __dprintf_chk (__fd, __USE_FORTIFY_LEVEL - 1, __fmt,
          |          ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
      148 |    __va_arg_pack ());
          |    ~~~~~~~~~~~~~~~~~
    |
147 |   return __dprintf_chk (__fd, __USE_FORTIFY_LEVEL - 1, __fmt,
    |          ^
/usr/include/bits/stdio2.h: In function ‘asprintf’:

/usr/include/bits/stdio2.h:184:10: error:
     error: invalid use of ‘__builtin_va_arg_pack ()’
      184 |   return __asprintf_chk (__ptr, __USE_FORTIFY_LEVEL - 1, __fmt,
          |          ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
      185 |     __va_arg_pack ());
          |     ~~~~~~~~~~~~~~~~~
    |
184 |   return __asprintf_chk (__ptr, __USE_FORTIFY_LEVEL - 1, __fmt,
    |          ^
/usr/include/bits/stdio2.h: In function ‘__asprintf’:

/usr/include/bits/stdio2.h:192:10: error:
     error: invalid use of ‘__builtin_va_arg_pack ()’
      192 |   return __asprintf_chk (__ptr, __USE_FORTIFY_LEVEL - 1, __fmt,
          |          ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
      193 |     __va_arg_pack ());
          |     ~~~~~~~~~~~~~~~~~
    |
192 |   return __asprintf_chk (__ptr, __USE_FORTIFY_LEVEL - 1, __fmt,
    |          ^
/usr/include/bits/stdio2.h: In function ‘obstack_printf’:

/usr/include/bits/stdio2.h:200:10: error:
     error: invalid use of ‘__builtin_va_arg_pack ()’
      200 |   return __obstack_printf_chk (__obstack, __USE_FORTIFY_LEVEL - 1, __fmt,
          |          ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
      201 |           __va_arg_pack ());
          |           ~~~~~~~~~~~~~~~~~
    |
200 |   return __obstack_printf_chk (__obstack, __USE_FORTIFY_LEVEL - 1, __fmt,
    |          ^
`gcc' failed in phase `C Compiler'. (Exit code: 1)


Expected results:
compilation to complete without error

Additional info:
It builds fine in F32 (ghc-8.6.5 and glibc-2.31).