Fix OpenOCD version