This command line option is only used in one place. Move it there and
rename it to something more descriptive.