[ET Trac] [Einstein Toolkit] #828: num-threads set in the machine files is never used as default value