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