SMV #73: smv run parameters are now a class wrapper to allow us to accept both the old nickname and module directly.