Fix libsvi