nightly-2021-06-01

Changes since nightly-2021-05-31:

Full commit log

• c5957dc fix: ignore other leanpkg print-paths output
• 29dc5c5 fix: duplicate namespace prefix