smtlib: fix linux build