Merge pull request #2381 from WalterBright/require-dso-registry

Require DSO for Linux