Fix for issue4472: "configure --enable-shared doesn't work on OSX"
3 files changed