original openocd