Digilent usb jtag cable driver linux