fix problem in dist/bin/script, simplify target_jar test
fix problem in dist/bin/script, simplify target_jar test

dotty-staging/dotty,sjrd/dotty,lampepfl/dotty,dotty-staging/dotty,sjrd/dotty,sjrd/dotty,dotty-staging/dotty,lampepfl/dotty,lampepfl/dotty,lampepfl/dotty,lampepfl/dotty,sjrd/dotty,dotty-staging/dotty,sjrd/dotty,dotty-staging/dotty