+ sbt runMain vexriscv.demo.GenFull /var/jenkins_home/workspace/VexRiscv/VexRiscv@tmp/durable-b23f2f49/script.sh.copy: 1: sbt: not found