Symbol: add_host_to_hostfile