static copy of openocd