Merge fix from 4.2.3 for TRQ-1626: setting use_smt to false is ignored.
Merge branch '4.1-dev' of https://github.com/adaptivecomputing/torque into 4.1-dev