diff --git a/library/Makefile b/library/Makefile
index 359d510df..72091b06d 100644
--- a/library/Makefile
+++ b/library/Makefile
@@ -77,7 +77,6 @@ OBJS_CRYPTO+= \
 		../3rdparty/everest/library/everest.o \
 		../3rdparty/everest/library/Hacl_Curve25519.o \
 		../3rdparty/everest/library/x25519.o \
-		../3rdparty/everest/library/kremlib/fstar_uint128.o \
 		../3rdparty/everest/library/kremlib/FStar_UInt64_FStar_UInt32_FStar_UInt16_FStar_UInt8.o
 
 OBJS_X509=	certs.o		pkcs11.o	x509.o		\