for new openocd script