Fix 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