Fix bug #9039 'map untrusted to domain' treats WORKSTATION as bogus domain.