Remove broken PATH setting
Remove broken PATH setting

- It didn't work because it looked into /tmp/4/ instead of /tmp/3/
- Fixing that doesn't help, because project/scripts/sbt is not meant to
  be in the PATH: the script will try to run `sbt` to find the real sbt
  launcher, so if it is itself in the PATH we end up with an infinite loop.

dotty-staging/dotty,lampepfl/dotty,lampepfl/dotty,som-snytt/dotty,sjrd/dotty,lampepfl/dotty,som-snytt/dotty,sjrd/dotty,sjrd/dotty,lampepfl/dotty,sjrd/dotty,dotty-staging/dotty,som-snytt/dotty,dotty-staging/dotty,sjrd/dotty,som-snytt/dotty,lampepfl/dotty,dotty-staging/dotty,dotty-staging/dotty,som-snytt/dotty