chagned pintos-gdb shell script to load the gdb macros.