Re: [ET Trac] [Einstein Toolkit] #56: Add option --machine