Letting mypy search Python's sys.path.