Download the sbt-launch.jar directly

no idea

try gdebi