Modifications to get the cvc-mesher working under libcvc.