Since you replaced `".params"` with `".scalacheck"`, this name could be replaced with something else as well. Especially since these are command-line args, not params.