diff --git a/src/math/bigfix/Hacl_Bignum.h b/src/math/bigfix/Hacl_Bignum.h
index 453312856..b6ed5c69f 100644
--- a/src/math/bigfix/Hacl_Bignum.h
+++ b/src/math/bigfix/Hacl_Bignum.h
@@ -31,7 +31,7 @@ extern "C" {
 
 #include "math/bigfix/lib_intrinsics.h"
 #include "math/bigfix/types.h"
-#include "math/bigfix/lowstar_endianness.h"
+#include "math/bigfix/LowStar_Endianness.h"
 #include <string.h>
 #include "math/bigfix/target.h"