s3: make release_ip() call (ctdb) cope with IPv4 mapped addresses