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