fix downloadBitfileToZynq, again