Module names vs file path in Setup.description