Properly set the RELEASE version number on Linux shared library name.