We now have a new closed repo. Some parts of the build system should move there. Also, the logic in the open part needs to be generalized to handle this move smoothly.