Fix OpenOCD builder