Updating mitx repo location