- enhanced gdb patch not to crash with gdb-lib 7.6
- avoid stripping when building with --debug