Switch to some 4.3 repos