Fix OpenOCD git