shamir_bug_fix