Make gtl work with latest smtlib2 interface

Fixes #10