Added smlib as dependency and changed checks.