This is better than leaking them to the DNS resolver. This also avoids
confusing error messages if live555 is missing or failing.