+ sbt runMain vexriscv.demo.GenFull /var/lib/jenkins/workspace/VexRiscv/VexRiscv@tmp/durable-7a2adf18/script.sh.copy: 1: sbt: not found