compute device-name from profile data, rather than asking the user