fix make test-integration-virtuoso-cc