Added Remi's gdb scripts