Added compiled libvedis