maint: update GCC bug number in comment