fixes in gdb-wrapper.sh script