setup openocd