modtool: dashes no longer allowed in modnames at all (fixes #619)