This file is indexed.

/usr/share/gdb/ is in gdb-msp430 7.2a~mspgcc-20111205-2.

This file is owned by root:root, with mode 0o755.