Skip to content
Merge modifications from Reiner, and add platform dependent suffix for shared library.