Use alt-toolchain's gdb in run-gdb.sh