Issue #236: have to clear cached default repository for the new ones to take effect ...