Merge pull request #1944 from WalterBright/fix9311

fix Issue 9311 - shared library file extension incorrectly modified