Apparently, it has something to do with multiple Windows servers and Samba. My friend has not been able to connect to a DFS share from a Raspberry Pi running Debian 9. The hostname apparently resolves though. There is a Redhat note on DFS, but that doesn't seem to cover the problem. He has been googling for hours and the install is supposed to be tonight.