poking at openocd