force naming of HotBackup library #869