The file you've downloaded is supposed to be called just "butler" - no file extension.
I've tried looking around to see if other people were seeing files downloaded as "XXX.dms", and found this: https://forums.macrumors.com/threads/whats-with-the-dms.39559/ - do you have any extensions like Speed Download II that could cause Safari to attribute the wrong file extension to a download?