fixed detection of first-time run (initial set-up of SMT)
changes, bump
Merge pull request #9 from jsrain/master

fixed detection of first-time run (initial set-up of SMT)