Fix IPv4-mapped IPv6 prefix. Patch by Petr Pisar.