fix repo names

Change-Id: I0746e23590b683f4295a9d7012c5ba2d262e0f4e