zip_rename(3) on Linux

The text 233613ded025, as Debian 12 (Bookworm), Debian 11 (Bullseye), Debian 10 (Buster) shipped it.

rename file in zip archive (obsolete interface)

zip_rename(3) on Linux now