diff --git a/third_party/sike/asm/fp-x86_64.pl b/third_party/sike/asm/fp-x86_64.pl
index 8ed3b24e..1ec7899a 100755
--- a/third_party/sike/asm/fp-x86_64.pl
+++ b/third_party/sike/asm/fp-x86_64.pl
@@ -1352,7 +1352,7 @@ $code.=<<___ if ($bmi2_adx);
 #  Operation: c [rsi] = a [rdi]
 #  NOTE: a=c is not allowed
 
-.rdc_mulx_asm:
+OZAPTFrdc_mulx_asm:
 .cfi_startproc
   # sike_fprdc has already pushed r12--15 and rbx by this point.
 .cfi_adjust_cfa_offset 32
@@ -1533,7 +1533,7 @@ $code.=<<___  if ($bmi2_adx);
   mov 8(%rcx), %rcx
   and \$0x80100, %ecx
   cmp \$0x80100, %ecx
-  je  .rdc_mulx_asm
+  je  OZAPTFrdc_mulx_asm
 ___
 
 # Reduction, generic x86 implementation