Switch to using Sheldon's repo