This enables us to use a custom `python` exe as the "mypy" executable and pass `-m mypy` in `mypy_options`