use mirrors with pip