Comment fix
gdb_driver is the script to load on gdb