diff -r b8f60dd8e99a -r d8300985f2bb util/rfc6724.lua
--- a/util/rfc6724.lua	Thu Mar 10 17:49:46 2016 +0000
+++ b/util/rfc6724.lua	Thu Mar 10 17:52:03 2016 +0000
@@ -10,7 +10,6 @@
 -- We can't hand this off to getaddrinfo, since it blocks
 
 local ip_commonPrefixLength = require"util.ip".commonPrefixLength
-local new_ip = require"util.ip".new_ip;
 
 local function commonPrefixLength(ipA, ipB)
 	local len = ip_commonPrefixLength(ipA, ipB);