Updating dependencies, particularly Tetra