gdb: some additional filename styling

Fix up another couple of places where we can apply filename styling.

Approved-By: Tom Tromey <tom@tromey.com>