@rgetz the newer Vivado/Vitis versions use /tools/Xilinx as prefix. I think the setup_env script should support the old /opt/Xilinx and the new /tools/Xilinx for a transition period. Will You update this script or should users setup up their environment manually as described in README.md ?
