diff --git a/tests/builtins/malloc_bug_tr.c b/tests/builtins/malloc_bug_tr.c
index 98b3d323d6dc902fd725994595d35f248190f46b..d16ef8742cf96d9bf3d8e6831509011afc69aaff 100644
--- a/tests/builtins/malloc_bug_tr.c
+++ b/tests/builtins/malloc_bug_tr.c
@@ -4,7 +4,7 @@
 
 #include <stdlib.h>
 #include <string.h>
-#include <__fc_builtin.h>
+#include "__fc_builtin.h"
 
 int main(void)
 {
diff --git a/tests/float/builtins.c b/tests/float/builtins.c
index 1b2d53069a31c06abd0b437c3a1b388ed79672e0..614f78d751bfd7f5f816de33a7bd6146acd742b4 100644
--- a/tests/float/builtins.c
+++ b/tests/float/builtins.c
@@ -2,7 +2,7 @@
    OPT: -eva @EVA_CONFIG@ -then -main main_log_exp
 */
 
-#include <__fc_builtin.h>
+#include "__fc_builtin.h"
 #include "math.h"
 
 void main(int c, char **v)
diff --git a/tests/float/precise_cos_sin.c b/tests/float/precise_cos_sin.c
index cee74467f216fea00b30688d2bde37f2e017d43f..f99adad364bc19cd8c5719b82f4d6fa447958ddd 100644
--- a/tests/float/precise_cos_sin.c
+++ b/tests/float/precise_cos_sin.c
@@ -2,7 +2,7 @@
    OPT: -eva @EVA_CONFIG@ -eva-slevel 1000 -float-normal
 */
 
-#include <__fc_builtin.h>
+#include "__fc_builtin.h"
 #include <math.h>
 
 
diff --git a/tests/syntax/gnu-asm-aesni.c b/tests/syntax/gnu-asm-aesni.c
index 1e2b0f7f4526aa2e71a85d9f31114959b086f0dc..bf5be7b69c64c05aba22209e7db27c9eafdf92c7 100644
--- a/tests/syntax/gnu-asm-aesni.c
+++ b/tests/syntax/gnu-asm-aesni.c
@@ -11,7 +11,7 @@
    -------------------------
 */
 #ifdef __FRAMAC__
-#include <__fc_builtin.h>
+#include "__fc_builtin.h"
 #else
 volatile int nondet;
 #define Frama_C_make_unknown(a, n) do {                 \
diff --git a/tests/value/auto_loop_unroll.c b/tests/value/auto_loop_unroll.c
index 81e4f54353158d275b6387b5a97dd8447577d736..b0166be9300edadb5f633fdffae78fba012a9da1 100644
--- a/tests/value/auto_loop_unroll.c
+++ b/tests/value/auto_loop_unroll.c
@@ -5,7 +5,7 @@
 
 /* Tests the automatic loop unrolling heuristic. */
 
-#include <__fc_builtin.h>
+#include "__fc_builtin.h"
 
 volatile int undet;
 
diff --git a/tests/value/domains_function.c b/tests/value/domains_function.c
index 7102ea22c396e3eab8ecc61fdf1734ef3ba19fad..114ae28c94ce4c2e17443087fe04e5aa84ab0233 100644
--- a/tests/value/domains_function.c
+++ b/tests/value/domains_function.c
@@ -3,7 +3,7 @@
    STDOPT: #"-eva @EVA_CONFIG@ -main test_successive_runs -eva-domains-function octagon:need_symbolic_locations,symbolic-locations:need_octagon -then -eva-domains-function symbolic-locations:need_symbolic_locations,octagon:need_octagon"
 */
 
-#include <__fc_builtin.h>
+#include "__fc_builtin.h"
 
 /* Tests the -eva-domains-function option that enables a domain for the given
    functions. This test uses the symbolic locations domain to store the value
diff --git a/tests/value/equality.c b/tests/value/equality.c
index b99293993538efdda60a17d3ec9802622a6f12d2..c32f17115fd9e64019f7aeec6d32482e47c6d859 100644
--- a/tests/value/equality.c
+++ b/tests/value/equality.c
@@ -4,7 +4,7 @@
 
 /* Tests for the equality domain. */
 
-#include <__fc_builtin.h>
+#include "__fc_builtin.h"
 #include <math.h>
 
 volatile int rand;
diff --git a/tests/value/invalid_pointer.c b/tests/value/invalid_pointer.c
index ba139caabda56485661900e92b37a4fba1f03155..6d6c1885470cefe356a6a8148fc147db0ae3dc73 100644
--- a/tests/value/invalid_pointer.c
+++ b/tests/value/invalid_pointer.c
@@ -3,7 +3,7 @@
   STDOPT: +"-no-warn-invalid-pointer -absolute-valid-range=10-30"
 */
 
-#include <__fc_builtin.h>
+#include "__fc_builtin.h"
 #include <stdint.h>
 #include <signal.h>
 
diff --git a/tests/value/logic.c b/tests/value/logic.c
index 36cb4c1061f9c54003134771099154a1dbf7b611..d8de93ab774f70888507f918447b42ee953ef630 100644
--- a/tests/value/logic.c
+++ b/tests/value/logic.c
@@ -1,4 +1,4 @@
-#include <__fc_builtin.h>
+#include "__fc_builtin.h"
 int t[10], u[11];
 struct ts { int f1; int f2; } s1, s2, s3[10];
 unsigned int x; volatile v;
diff --git a/tests/value/multidim-relations.c b/tests/value/multidim-relations.c
index 02aac67c783f64970e206dac8ffb63d3b61c13bd..3d0f661e9cf7e947478a98fcc25a60d5480fd5b0 100644
--- a/tests/value/multidim-relations.c
+++ b/tests/value/multidim-relations.c
@@ -1,7 +1,7 @@
 /* run.config*
    STDOPT: #"-eva-msg-key d-multidim -eva-domains multidim -eva-plevel 1 -eva-multidim-disjunctive-invariants"
 */
-#include <__fc_builtin.h>
+#include "__fc_builtin.h"
 
 typedef struct {
   char kind;
diff --git a/tests/value/numerors/numerors.c b/tests/value/numerors/numerors.c
index d62d96d1e7f231a38eee40fe6a1061dfabe7013e..89f8b55a56b7de33d40b03693885affb9036548f 100644
--- a/tests/value/numerors/numerors.c
+++ b/tests/value/numerors/numerors.c
@@ -5,7 +5,7 @@
 /* Tests for the numerors domain, that computes absolute and relative errors
    of floating-point computations. */
 
-#include <__fc_builtin.h>
+#include "__fc_builtin.h"
 #include <math.h>
 
 #define TRUE 1
diff --git a/tests/value/octagons.c b/tests/value/octagons.c
index a9428a90e4e6f4b052e9cde3e4514584a8e6b2f4..4371206cf875b429c8e251928de2da1bc56ae379 100644
--- a/tests/value/octagons.c
+++ b/tests/value/octagons.c
@@ -2,7 +2,7 @@
    STDOPT: +"-deterministic -eva-domains octagon -eva-octagon-through-calls -eva-msg-key=d-octagon,-d-cvalue"
 */
 
-#include <__fc_builtin.h>
+#include "__fc_builtin.h"
 
 volatile int undet;
 
diff --git a/tests/value/recursion.c b/tests/value/recursion.c
index 3407462e9b2033ee11f224b4072bdec7e563c9a4..74a8f7d1dfb173b1930f19dca094b15c66e1679a 100644
--- a/tests/value/recursion.c
+++ b/tests/value/recursion.c
@@ -8,7 +8,7 @@
    STDOPT: +"-eva-no-show-progress -eva-unroll-recursive-calls 5 -main main_fail"
 */
 
-#include <__fc_builtin.h>
+#include "__fc_builtin.h"
 
 volatile int nondet;
 
diff --git a/tests/value/shift_neg.c b/tests/value/shift_neg.c
index 520678af7f33ee4fbfc2329b49a0b3e9e0dab134..102696692b6b657781ef5206a3354d203c8082f7 100644
--- a/tests/value/shift_neg.c
+++ b/tests/value/shift_neg.c
@@ -6,7 +6,7 @@
 /* The first run emits alarms on left shifts on negative values;
    the second run emits alarms on right shifts on negative values. */
 
-#include <__fc_builtin.h>
+#include "__fc_builtin.h"
 
 volatile int rand;
 
diff --git a/tests/value/taint.c b/tests/value/taint.c
index 81d2c2bb67b264e0350ca63e6c3efc877a3336fc..c47c43d9b93c94ea3cdba2bbfd003fa6bd52112c 100644
--- a/tests/value/taint.c
+++ b/tests/value/taint.c
@@ -2,7 +2,7 @@
    STDOPT: +" -eva-domains taint -eva-msg-key=d-taint,-d-cvalue -eva-auto-loop-unroll 10"
 */
 
-#include <__fc_builtin.h>
+#include "__fc_builtin.h"
 
 volatile int undet;
 int tainted;