The official BCT2 repository