Fix booted tests not compiling anything
Fix booted tests not compiling anything

This was broken in 06a3d47ea9fd1b67b3acba9d115a16d18549e377 when the
-deep argument was removed

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