Adjust for new name of the repo