python3 -m pip install --no-binary mypy -U mypy