Removed useless dir in Makefile
Added smtlib input option