Deleted binary_search branch, use MKS branch