diff --git a/src/math/bigfix/fstar_uint128_gcc64.h b/src/math/bigfix/fstar_uint128_gcc64.h
index e0b8926f1..9ddb4e310 100644
--- a/src/math/bigfix/fstar_uint128_gcc64.h
+++ b/src/math/bigfix/fstar_uint128_gcc64.h
@@ -23,9 +23,9 @@
 #ifndef FSTAR_UINT128_GCC64
 #define FSTAR_UINT128_GCC64
 
-#include "math/bigfix/kremlib/FStar_UInt128.h"
-#include "math/bigfix/kremlib/FStar_UInt_8_16_32_64.h"
-#include "math/bigfix/kremlib/LowStar_Endianness.h"
+#include "math/bigfix/FStar_UInt128.h"
+#include "math/bigfix/FStar_UInt_8_16_32_64.h"
+#include "math/bigfix/LowStar_Endianness.h"
 
 /* GCC + using native unsigned __int128 support */