Improve the `check-gdb` target