The IBM-HashiCorp coupling could be more complicated than it seems