ssh/config: update for new build boxes