added HOT_BACKUP_LIBNAME option to cmake to customize the installed library name