openocd and gdb scripts