r5165: BUG 2295: always use get_local_machine_name() rather than digging in the glova...