Change discount library name to fix CI build