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