Make the sed(1) call to add a GDB index to generated files work with base sed.
Add my upstream patch to fix it: use a POSIX-compliant call instead of one
that only works with GNU sed.
Note that it does not still work automatically because `gdb' is called, and
the version we have in base does not support index generation.