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