smt: implemented cond vars under posix