Fixing pervasives equalities in Vconv.