fix version on Linux shared library name