Override default -machines argument

Command-line options override environment