hostnames may be given via stdin