Check for existence of Xilinx ISE in linux.