yanzhuohao/pytorch-cpu: links for mypy-extensions