tools-ping: allow ping to hyphen url's