Fix PyPI pins with installable name instead of repo name