0c41dc
diff --git a/lib/freebl/Makefile b/lib/freebl/Makefile
0c41dc
index 74e8e65..8995752 100644
0c41dc
--- a/lib/freebl/Makefile
0c41dc
+++ b/lib/freebl/Makefile
0c41dc
@@ -568,7 +568,6 @@ ifneq ($(shell $(CC) -? 2>&1 >/dev/null 
0c41dc
             HAVE_INT128_SUPPORT = 1
0c41dc
             DEFINES += -DHAVE_INT128_SUPPORT
0c41dc
     else ifeq (1,$(CC_IS_GCC))
0c41dc
-        SUPPORTS_VALE_CURVE25519 = 1
0c41dc
         ifneq (,$(filter 4.6 4.7 4.8 4.9,$(word 1,$(GCC_VERSION)).$(word 2,$(GCC_VERSION))))
0c41dc
             HAVE_INT128_SUPPORT = 1
0c41dc
             DEFINES += -DHAVE_INT128_SUPPORT
0c41dc
diff --git a/lib/freebl/freebl.gyp b/lib/freebl/freebl.gyp
0c41dc
index 65f9a80..23940ef 100644
0c41dc
--- a/lib/freebl/freebl.gyp
0c41dc
+++ b/lib/freebl/freebl.gyp
0c41dc
@@ -866,12 +866,6 @@
0c41dc
           }],
0c41dc
         ],
0c41dc
       }],
0c41dc
-      [ 'supports_vale_curve25519==1', {
0c41dc
-        'defines': [
0c41dc
-          # The Makefile does version-tests on GCC, but we're not doing that here.
0c41dc
-          'HACL_CAN_COMPILE_INLINE_ASM',
0c41dc
-        ],
0c41dc
-      }],
0c41dc
       [ 'OS=="linux" or OS=="android"', {
0c41dc
         'conditions': [
0c41dc
           [ 'target_arch=="x64"', {
0c41dc
@@ -934,11 +928,6 @@
0c41dc
   'variables': {
0c41dc
     'module': 'nss',
0c41dc
     'conditions': [
0c41dc
-      [ 'target_arch=="x64" and cc_is_gcc==1', {
0c41dc
-        'supports_vale_curve25519%': 1,
0c41dc
-      }, {
0c41dc
-        'supports_vale_curve25519%': 0,
0c41dc
-      }],
0c41dc
       [ 'target_arch=="x64" or target_arch=="arm64" or target_arch=="aarch64"', {
0c41dc
         'have_int128_support%': 1,
0c41dc
       }, {
0c41dc
diff --git a/lib/freebl/freebl_base.gypi b/lib/freebl/freebl_base.gypi
0c41dc
index d198c44..34b6b3c 100644
0c41dc
--- a/lib/freebl/freebl_base.gypi
0c41dc
+++ b/lib/freebl/freebl_base.gypi
0c41dc
@@ -151,11 +151,6 @@
0c41dc
         'ecl/curve25519_32.c',
0c41dc
       ],
0c41dc
     }],
0c41dc
-    ['supports_vale_curve25519==1', {
0c41dc
-      'sources': [
0c41dc
-        'verified/Hacl_Curve25519_64.c',
0c41dc
-      ],
0c41dc
-    }],
0c41dc
     ['(target_arch!="ppc64" and target_arch!="ppc64le") or disable_altivec==1', {
0c41dc
       'sources': [
0c41dc
         # Gyp does not support per-file cflags, so working around like this.