Extending ./configure with support to use metaSMT.