root/pytorch: links for mypy-extensions