Temporarily switch to custom boxtree branch for CI