Fix sabermod tool chain remote repo names