Updated xil-exec : moving towards bash-specific? added tcl option