diff --git a/alliance/src/boom/src/boom_abl.c b/alliance/src/boom/src/boom_abl.c
index 77ed99e4..a512ca5b 100644
--- a/alliance/src/boom/src/boom_abl.c
+++ b/alliance/src/boom/src/boom_abl.c
@@ -42,13 +42,13 @@
 |                                                             |
 \------------------------------------------------------------*/
 
-# include MUT_H
-# include AUT_H
-# include ABL_H
-# include BDD_H
-# include ABE_H
-# include ABV_H
-# include ABT_H
+# include "mut.h"
+# include "aut.h"
+# include "abl.h"
+# include "bdd.h"
+# include "abe.h"
+# include "abv.h"
+# include "abt.h"
 
 # include <stdio.h>
 # include <stdlib.h>
diff --git a/alliance/src/boom/src/boom_anneal.c b/alliance/src/boom/src/boom_anneal.c
index 1aed671e..f4a39f43 100644
--- a/alliance/src/boom/src/boom_anneal.c
+++ b/alliance/src/boom/src/boom_anneal.c
@@ -41,13 +41,13 @@
 |                                                             |
 \------------------------------------------------------------*/
 
-# include MUT_H
-# include AUT_H
-# include ABL_H
-# include BDD_H
-# include ABE_H
-# include ABV_H
-# include ABT_H
+# include "mut.h"
+# include "aut.h"
+# include "abl.h"
+# include "bdd.h"
+# include "abe.h"
+# include "abv.h"
+# include "abt.h"
 
 # include <stdio.h>
 # include <stdlib.h>
diff --git a/alliance/src/boom/src/boom_aux.c b/alliance/src/boom/src/boom_aux.c
index 3c8809eb..b7b83b97 100644
--- a/alliance/src/boom/src/boom_aux.c
+++ b/alliance/src/boom/src/boom_aux.c
@@ -41,13 +41,13 @@
 |                                                             |
 \------------------------------------------------------------*/
 
-# include MUT_H
-# include AUT_H
-# include ABL_H
-# include BDD_H
-# include ABE_H
-# include ABV_H
-# include ABT_H
+# include "mut.h"
+# include "aut.h"
+# include "abl.h"
+# include "bdd.h"
+# include "abe.h"
+# include "abv.h"
+# include "abt.h"
 
 # include <stdio.h>
 # include <stdlib.h>
diff --git a/alliance/src/boom/src/boom_auxinit.c b/alliance/src/boom/src/boom_auxinit.c
index c5999a41..3d13b802 100644
--- a/alliance/src/boom/src/boom_auxinit.c
+++ b/alliance/src/boom/src/boom_auxinit.c
@@ -41,13 +41,13 @@
 |                                                             |
 \------------------------------------------------------------*/
 
-# include MUT_H
-# include AUT_H
-# include ABL_H
-# include BDD_H
-# include ABE_H
-# include ABV_H
-# include ABT_H
+# include "mut.h"
+# include "aut.h"
+# include "abl.h"
+# include "bdd.h"
+# include "abe.h"
+# include "abv.h"
+# include "abt.h"
 
 # include <stdio.h>
 # include <stdlib.h>
diff --git a/alliance/src/boom/src/boom_bdd.c b/alliance/src/boom/src/boom_bdd.c
index 0c1ef09c..4e2a23e9 100644
--- a/alliance/src/boom/src/boom_bdd.c
+++ b/alliance/src/boom/src/boom_bdd.c
@@ -42,11 +42,11 @@
 |                                                             |
 \------------------------------------------------------------*/
 
-# include MUT_H
-# include AUT_H
-# include ABL_H
-# include BDD_H
-# include ABE_H
+# include "mut.h"
+# include "aut.h"
+# include "abl.h"
+# include "bdd.h"
+# include "abe.h"
 
 # include <stdio.h>
 # include <stdlib.h>
diff --git a/alliance/src/boom/src/boom_burgun.c b/alliance/src/boom/src/boom_burgun.c
index 278584f1..e0805be8 100644
--- a/alliance/src/boom/src/boom_burgun.c
+++ b/alliance/src/boom/src/boom_burgun.c
@@ -41,13 +41,13 @@
 |                                                             |
 \------------------------------------------------------------*/
 
-# include MUT_H
-# include AUT_H
-# include ABL_H
-# include BDD_H
-# include ABE_H
-# include ABV_H
-# include ABT_H
+# include "mut.h"
+# include "aut.h"
+# include "abl.h"
+# include "bdd.h"
+# include "abe.h"
+# include "abv.h"
+# include "abt.h"
 
 # include <stdio.h>
 # include <stdlib.h>
diff --git a/alliance/src/boom/src/boom_check.c b/alliance/src/boom/src/boom_check.c
index 4e74eb38..ac91dfbb 100644
--- a/alliance/src/boom/src/boom_check.c
+++ b/alliance/src/boom/src/boom_check.c
@@ -41,13 +41,13 @@
 |                                                             |
 \------------------------------------------------------------*/
 
-# include MUT_H
-# include AUT_H
-# include ABL_H
-# include BDD_H
-# include ABE_H
-# include ABV_H
-# include ABT_H
+# include "mut.h"
+# include "aut.h"
+# include "abl.h"
+# include "bdd.h"
+# include "abe.h"
+# include "abv.h"
+# include "abt.h"
 
 # include <stdio.h>
 # include <stdlib.h>
diff --git a/alliance/src/boom/src/boom_cost.c b/alliance/src/boom/src/boom_cost.c
index 063b3f99..dd317f6e 100644
--- a/alliance/src/boom/src/boom_cost.c
+++ b/alliance/src/boom/src/boom_cost.c
@@ -41,13 +41,13 @@
 |                                                             |
 \------------------------------------------------------------*/
 
-# include MUT_H
-# include AUT_H
-# include ABL_H
-# include BDD_H
-# include ABE_H
-# include ABV_H
-# include ABT_H
+# include "mut.h"
+# include "aut.h"
+# include "abl.h"
+# include "bdd.h"
+# include "abe.h"
+# include "abv.h"
+# include "abt.h"
 
 # include <stdio.h>
 # include <stdlib.h>
diff --git a/alliance/src/boom/src/boom_dc.c b/alliance/src/boom/src/boom_dc.c
index 577f6517..6fea7552 100644
--- a/alliance/src/boom/src/boom_dc.c
+++ b/alliance/src/boom/src/boom_dc.c
@@ -40,13 +40,13 @@
 |                                                             |
 \------------------------------------------------------------*/
                                                                                     
-#include MUT_H
-#include AUT_H
-#include ABL_H
-#include BDD_H
-#include ABE_H
-#include ABV_H
-#include ABT_H
+#include "mut.h"
+#include "aut.h"
+#include "abl.h"
+#include "bdd.h"
+#include "abe.h"
+#include "abv.h"
+#include "abt.h"
  
 #include <stdio.h>
 #include <stdlib.h>
diff --git a/alliance/src/boom/src/boom_debug.c b/alliance/src/boom/src/boom_debug.c
index c9b71c55..f28ceeec 100644
--- a/alliance/src/boom/src/boom_debug.c
+++ b/alliance/src/boom/src/boom_debug.c
@@ -45,13 +45,13 @@
 # include <stdio.h>
 # include <string.h>
 
-# include MUT_H
-# include AUT_H
-# include ABL_H
-# include BDD_H
-# include ABE_H
-# include ABV_H
-# include ABT_H
+# include "mut.h"
+# include "aut.h"
+# include "abl.h"
+# include "bdd.h"
+# include "abe.h"
+# include "abv.h"
+# include "abt.h"
 
 # include "boom_error.h"
 # include "boom_debug.h"
diff --git a/alliance/src/boom/src/boom_drive.c b/alliance/src/boom/src/boom_drive.c
index 499091f5..aa661082 100644
--- a/alliance/src/boom/src/boom_drive.c
+++ b/alliance/src/boom/src/boom_drive.c
@@ -41,13 +41,13 @@
 |                                                             |
 \------------------------------------------------------------*/
 
-# include MUT_H
-# include AUT_H
-# include ABL_H
-# include BDD_H
-# include ABE_H
-# include ABV_H
-# include ABT_H
+# include "mut.h"
+# include "aut.h"
+# include "abl.h"
+# include "bdd.h"
+# include "abe.h"
+# include "abv.h"
+# include "abt.h"
 
 # include <stdio.h>
 # include <stdlib.h>
diff --git a/alliance/src/boom/src/boom_error.c b/alliance/src/boom/src/boom_error.c
index 3fefffd7..f7e51c48 100644
--- a/alliance/src/boom/src/boom_error.c
+++ b/alliance/src/boom/src/boom_error.c
@@ -44,8 +44,8 @@
 
 # include <stdio.h>
 # include <string.h>
-# include MUT_H
-# include AUT_H
+# include "mut.h"
+# include "aut.h"
 # include "boom_error.h"
 
 /*------------------------------------------------------------\
diff --git a/alliance/src/boom/src/boom_gradient.c b/alliance/src/boom/src/boom_gradient.c
index 2e3d194a..20fe1f7a 100644
--- a/alliance/src/boom/src/boom_gradient.c
+++ b/alliance/src/boom/src/boom_gradient.c
@@ -41,13 +41,13 @@
 |                                                             |
 \------------------------------------------------------------*/
 
-# include MUT_H
-# include AUT_H
-# include ABL_H
-# include BDD_H
-# include ABE_H
-# include ABV_H
-# include ABT_H
+# include "mut.h"
+# include "aut.h"
+# include "abl.h"
+# include "bdd.h"
+# include "abe.h"
+# include "abv.h"
+# include "abt.h"
 
 # include <stdio.h>
 # include <stdlib.h>
diff --git a/alliance/src/boom/src/boom_hash.c b/alliance/src/boom/src/boom_hash.c
index 24edf1f6..2b035e29 100644
--- a/alliance/src/boom/src/boom_hash.c
+++ b/alliance/src/boom/src/boom_hash.c
@@ -42,13 +42,13 @@
 |                                                             |
 \------------------------------------------------------------*/
 
-# include MUT_H
-# include AUT_H
-# include ABL_H
-# include BDD_H
-# include ABE_H
-# include ABV_H
-# include ABT_H
+# include "mut.h"
+# include "aut.h"
+# include "abl.h"
+# include "bdd.h"
+# include "abe.h"
+# include "abv.h"
+# include "abt.h"
 
 # include <stdio.h>
 # include <stdlib.h>
diff --git a/alliance/src/boom/src/boom_logic.c b/alliance/src/boom/src/boom_logic.c
index 040e0690..fdca93b0 100644
--- a/alliance/src/boom/src/boom_logic.c
+++ b/alliance/src/boom/src/boom_logic.c
@@ -42,13 +42,13 @@
 |                                                             |
 \------------------------------------------------------------*/
 
-# include MUT_H
-# include AUT_H
-# include ABL_H
-# include BDD_H
-# include ABE_H
-# include ABV_H
-# include ABT_H
+# include "mut.h"
+# include "aut.h"
+# include "abl.h"
+# include "bdd.h"
+# include "abe.h"
+# include "abv.h"
+# include "abt.h"
 
 # include <stdio.h>
 # include <stdlib.h>
diff --git a/alliance/src/boom/src/boom_main.c b/alliance/src/boom/src/boom_main.c
index 103df974..5035e212 100644
--- a/alliance/src/boom/src/boom_main.c
+++ b/alliance/src/boom/src/boom_main.c
@@ -41,13 +41,13 @@
 |                                                             |
 \------------------------------------------------------------*/
 
-# include MUT_H
-# include AUT_H
-# include ABL_H
-# include BDD_H
-# include ABE_H
-# include ABV_H
-# include ABT_H
+# include "mut.h"
+# include "aut.h"
+# include "abl.h"
+# include "bdd.h"
+# include "abe.h"
+# include "abv.h"
+# include "abt.h"
 
 # include <stdio.h>
 # include <stdlib.h>
diff --git a/alliance/src/boom/src/boom_one.c b/alliance/src/boom/src/boom_one.c
index bc389592..edae9635 100644
--- a/alliance/src/boom/src/boom_one.c
+++ b/alliance/src/boom/src/boom_one.c
@@ -41,13 +41,13 @@
 |                                                             |
 \------------------------------------------------------------*/
 
-# include MUT_H
-# include AUT_H
-# include ABL_H
-# include BDD_H
-# include ABE_H
-# include ABV_H
-# include ABT_H
+# include "mut.h"
+# include "aut.h"
+# include "abl.h"
+# include "bdd.h"
+# include "abe.h"
+# include "abv.h"
+# include "abt.h"
 
 # include <stdio.h>
 # include <stdlib.h>
diff --git a/alliance/src/boom/src/boom_optim.c b/alliance/src/boom/src/boom_optim.c
index 1e1e9f96..a9b1535c 100644
--- a/alliance/src/boom/src/boom_optim.c
+++ b/alliance/src/boom/src/boom_optim.c
@@ -41,13 +41,13 @@
 |                                                             |
 \------------------------------------------------------------*/
 
-# include MUT_H
-# include AUT_H
-# include ABL_H
-# include BDD_H
-# include ABE_H
-# include ABV_H
-# include ABT_H
+# include "mut.h"
+# include "aut.h"
+# include "abl.h"
+# include "bdd.h"
+# include "abe.h"
+# include "abv.h"
+# include "abt.h"
 
 # include <stdio.h>
 # include <stdlib.h>
diff --git a/alliance/src/boom/src/boom_order.c b/alliance/src/boom/src/boom_order.c
index 4579903c..5b611444 100644
--- a/alliance/src/boom/src/boom_order.c
+++ b/alliance/src/boom/src/boom_order.c
@@ -42,12 +42,12 @@
 |                                                             |
 \------------------------------------------------------------*/
 
-# include MUT_H
-# include AUT_H
-# include ABL_H
-# include BDD_H
-# include ABE_H
-# include ABT_H
+# include "mut.h"
+# include "aut.h"
+# include "abl.h"
+# include "bdd.h"
+# include "abe.h"
+# include "abt.h"
 
 # include <stdio.h>
 # include "boom_error.h"
diff --git a/alliance/src/boom/src/boom_param.c b/alliance/src/boom/src/boom_param.c
index 7899f786..d57289c8 100644
--- a/alliance/src/boom/src/boom_param.c
+++ b/alliance/src/boom/src/boom_param.c
@@ -41,13 +41,13 @@
 |                                                             |
 \------------------------------------------------------------*/
 
-# include MUT_H
-# include AUT_H
-# include ABL_H
-# include BDD_H
-# include ABE_H
-# include ABV_H
-# include ABT_H
+# include "mut.h"
+# include "aut.h"
+# include "abl.h"
+# include "bdd.h"
+# include "abe.h"
+# include "abv.h"
+# include "abt.h"
 
 # include <stdio.h>
 # include <stdlib.h>
diff --git a/alliance/src/boom/src/boom_parse.c b/alliance/src/boom/src/boom_parse.c
index d3c1f482..0c9de60c 100644
--- a/alliance/src/boom/src/boom_parse.c
+++ b/alliance/src/boom/src/boom_parse.c
@@ -41,13 +41,13 @@
 |                                                             |
 \------------------------------------------------------------*/
 
-# include MUT_H
-# include AUT_H
-# include ABL_H
-# include BDD_H
-# include ABE_H
-# include ABV_H
-# include ABT_H
+# include "mut.h"
+# include "aut.h"
+# include "abl.h"
+# include "bdd.h"
+# include "abe.h"
+# include "abv.h"
+# include "abt.h"
 
 # include <stdio.h>
 # include <stdlib.h>
diff --git a/alliance/src/boom/src/boom_post.c b/alliance/src/boom/src/boom_post.c
index 14f82839..9555a676 100644
--- a/alliance/src/boom/src/boom_post.c
+++ b/alliance/src/boom/src/boom_post.c
@@ -41,13 +41,13 @@
 |                                                             |
 \------------------------------------------------------------*/
 
-# include MUT_H
-# include AUT_H
-# include ABL_H
-# include BDD_H
-# include ABE_H
-# include ABV_H
-# include ABT_H
+# include "mut.h"
+# include "aut.h"
+# include "abl.h"
+# include "bdd.h"
+# include "abe.h"
+# include "abv.h"
+# include "abt.h"
 
 # include <stdio.h>
 # include <stdlib.h>
diff --git a/alliance/src/boom/src/boom_procrast.c b/alliance/src/boom/src/boom_procrast.c
index 629e5730..60fde6d8 100644
--- a/alliance/src/boom/src/boom_procrast.c
+++ b/alliance/src/boom/src/boom_procrast.c
@@ -41,13 +41,13 @@
 |                                                             |
 \------------------------------------------------------------*/
 
-# include MUT_H
-# include AUT_H
-# include ABL_H
-# include BDD_H
-# include ABE_H
-# include ABV_H
-# include ABT_H
+# include "mut.h"
+# include "aut.h"
+# include "abl.h"
+# include "bdd.h"
+# include "abe.h"
+# include "abv.h"
+# include "abt.h"
 
 # include <stdio.h>
 # include <stdlib.h>
diff --git a/alliance/src/boom/src/boom_random.c b/alliance/src/boom/src/boom_random.c
index 1ac8ddd8..6d2b8efe 100644
--- a/alliance/src/boom/src/boom_random.c
+++ b/alliance/src/boom/src/boom_random.c
@@ -41,13 +41,13 @@
 |                                                             |
 \------------------------------------------------------------*/
 
-# include MUT_H
-# include AUT_H
-# include ABL_H
-# include BDD_H
-# include ABE_H
-# include ABV_H
-# include ABT_H
+# include "mut.h"
+# include "aut.h"
+# include "abl.h"
+# include "bdd.h"
+# include "abe.h"
+# include "abv.h"
+# include "abt.h"
 
 # include <stdio.h>
 # include <stdlib.h>
diff --git a/alliance/src/boom/src/boom_shared.c b/alliance/src/boom/src/boom_shared.c
index 22fec700..031bdeb4 100644
--- a/alliance/src/boom/src/boom_shared.c
+++ b/alliance/src/boom/src/boom_shared.c
@@ -46,13 +46,13 @@
 # include <stdlib.h>
 # include <string.h>
 
-# include MUT_H
-# include AUT_H
-# include ABL_H
-# include BDD_H
-# include ABE_H
-# include ABV_H
-# include ABT_H
+# include "mut.h"
+# include "aut.h"
+# include "abl.h"
+# include "bdd.h"
+# include "abe.h"
+# include "abv.h"
+# include "abt.h"
 
 # include "boom_error.h"
 # include "boom_shared.h"
diff --git a/alliance/src/boom/src/boom_simple.c b/alliance/src/boom/src/boom_simple.c
index dc1f2182..88b6ab41 100644
--- a/alliance/src/boom/src/boom_simple.c
+++ b/alliance/src/boom/src/boom_simple.c
@@ -41,13 +41,13 @@
 |                                                             |
 \------------------------------------------------------------*/
 
-# include MUT_H
-# include AUT_H
-# include ABL_H
-# include BDD_H
-# include ABE_H
-# include ABV_H
-# include ABT_H
+# include "mut.h"
+# include "aut.h"
+# include "abl.h"
+# include "bdd.h"
+# include "abe.h"
+# include "abv.h"
+# include "abt.h"
 
 # include <stdio.h>
 # include <stdlib.h>
diff --git a/alliance/src/boom/src/boom_simul.c b/alliance/src/boom/src/boom_simul.c
index 0334cd1a..1a802d51 100644
--- a/alliance/src/boom/src/boom_simul.c
+++ b/alliance/src/boom/src/boom_simul.c
@@ -41,13 +41,13 @@
 |                                                             |
 \------------------------------------------------------------*/
 
-# include MUT_H
-# include AUT_H
-# include ABL_H
-# include BDD_H
-# include ABE_H
-# include ABV_H
-# include ABT_H
+# include "mut.h"
+# include "aut.h"
+# include "abl.h"
+# include "bdd.h"
+# include "abe.h"
+# include "abv.h"
+# include "abt.h"
 
 # include <stdio.h>
 # include <stdlib.h>
diff --git a/alliance/src/boom/src/boom_top.c b/alliance/src/boom/src/boom_top.c
index 2bd26c09..aead51f1 100644
--- a/alliance/src/boom/src/boom_top.c
+++ b/alliance/src/boom/src/boom_top.c
@@ -41,13 +41,13 @@
 |                                                             |
 \------------------------------------------------------------*/
 
-# include MUT_H
-# include AUT_H
-# include ABL_H
-# include BDD_H
-# include ABE_H
-# include ABV_H
-# include ABT_H
+# include "mut.h"
+# include "aut.h"
+# include "abl.h"
+# include "bdd.h"
+# include "abe.h"
+# include "abv.h"
+# include "abt.h"
 
 # include <stdio.h>
 # include <stdlib.h>
diff --git a/alliance/src/boom/src/boom_window.c b/alliance/src/boom/src/boom_window.c
index 568292f9..3ee1feb9 100644
--- a/alliance/src/boom/src/boom_window.c
+++ b/alliance/src/boom/src/boom_window.c
@@ -41,13 +41,13 @@
 |                                                             |
 \------------------------------------------------------------*/
 
-# include MUT_H
-# include AUT_H
-# include ABL_H
-# include BDD_H
-# include ABE_H
-# include ABV_H
-# include ABT_H
+# include "mut.h"
+# include "aut.h"
+# include "abl.h"
+# include "bdd.h"
+# include "abe.h"
+# include "abv.h"
+# include "abt.h"
 
 # include <stdio.h>
 # include <stdlib.h>
diff --git a/alliance/src/k2f/src/k2f_error.c b/alliance/src/k2f/src/k2f_error.c
index 397c3761..61417ca6 100644
--- a/alliance/src/k2f/src/k2f_error.c
+++ b/alliance/src/k2f/src/k2f_error.c
@@ -44,8 +44,8 @@
 
 # include <stdio.h>
 # include <string.h>
-# include MUT_H
-# include AUT_H
+# include "mut.h"
+# include "aut.h"
 # include "k2f_error.h"
 
 /*------------------------------------------------------------\
diff --git a/alliance/src/k2f/src/k2f_main.c b/alliance/src/k2f/src/k2f_main.c
index f0e1d29d..b4c27777 100644
--- a/alliance/src/k2f/src/k2f_main.c
+++ b/alliance/src/k2f/src/k2f_main.c
@@ -42,12 +42,12 @@
 |                                                             |
 \------------------------------------------------------------*/
 
-# include MUT_H
-# include AUT_H
-# include ABL_H
-# include BDD_H
-# include FSM_H
-# include FTL_H
+# include "mut.h"
+# include "aut.h"
+# include "abl.h"
+# include "bdd.h"
+# include "fsm.h"
+# include "ftl.h"
 
 # include <stdio.h>
 # include <stdlib.h>
diff --git a/alliance/src/syf/src/fbh_parse.c b/alliance/src/syf/src/fbh_parse.c
index ebbebf62..84e06f3a 100644
--- a/alliance/src/syf/src/fbh_parse.c
+++ b/alliance/src/syf/src/fbh_parse.c
@@ -42,12 +42,12 @@
 |                                                             |
 \------------------------------------------------------------*/
 
-# include MUT_H
-# include AUT_H
-# include ABL_H
-# include BDD_H
-# include FSM_H
-# include FTL_H
+# include "mut.h"
+# include "aut.h"
+# include "abl.h"
+# include "bdd.h"
+# include "fsm.h"
+# include "ftl.h"
 
 # include <stdio.h>
 # include <stdlib.h>
diff --git a/alliance/src/syf/src/kis_parse.c b/alliance/src/syf/src/kis_parse.c
index 5f9f64b7..16c37572 100644
--- a/alliance/src/syf/src/kis_parse.c
+++ b/alliance/src/syf/src/kis_parse.c
@@ -42,12 +42,12 @@
 |                                                             |
 \------------------------------------------------------------*/
 
-# include MUT_H
-# include AUT_H
-# include ABL_H
-# include BDD_H
-# include FSM_H
-# include FTL_H
+# include "mut.h"
+# include "aut.h"
+# include "abl.h"
+# include "bdd.h"
+# include "fsm.h"
+# include "ftl.h"
 
 # include <stdio.h>
 # include <stdlib.h>
diff --git a/alliance/src/syf/src/syf_asp.c b/alliance/src/syf/src/syf_asp.c
index 5a6e7a1e..b4bd62e9 100644
--- a/alliance/src/syf/src/syf_asp.c
+++ b/alliance/src/syf/src/syf_asp.c
@@ -43,11 +43,11 @@
 |                                                             |
 \------------------------------------------------------------*/
 
-# include MUT_H
-# include AUT_H
-# include ABL_H
-# include BDD_H
-# include FSM_H
+# include "mut.h"
+# include "aut.h"
+# include "abl.h"
+# include "bdd.h"
+# include "fsm.h"
 
 # include <stdio.h>
 # include <stdlib.h>
diff --git a/alliance/src/syf/src/syf_bdd.c b/alliance/src/syf/src/syf_bdd.c
index b2d028b9..b7a81c1e 100644
--- a/alliance/src/syf/src/syf_bdd.c
+++ b/alliance/src/syf/src/syf_bdd.c
@@ -41,12 +41,12 @@
 |                                                             |
 \------------------------------------------------------------*/
 
-# include MUT_H
-# include AUT_H
-# include ABL_H
-# include BDD_H
-# include FSM_H
-# include FVH_H
+# include "mut.h"
+# include "aut.h"
+# include "abl.h"
+# include "bdd.h"
+# include "fsm.h"
+# include "fvh.h"
 
 # include <stdio.h>
 # include <stdlib.h>
diff --git a/alliance/src/syf/src/syf_comp.c b/alliance/src/syf/src/syf_comp.c
index ea5fe73e..2b944d74 100644
--- a/alliance/src/syf/src/syf_comp.c
+++ b/alliance/src/syf/src/syf_comp.c
@@ -43,13 +43,13 @@
 |                                                             |
 \------------------------------------------------------------*/
 
-# include MUT_H
-# include AUT_H
-# include ABL_H
-# include BDD_H
-# include FSM_H
-# include FVH_H
-# include FTL_H
+# include "mut.h"
+# include "aut.h"
+# include "abl.h"
+# include "bdd.h"
+# include "fsm.h"
+# include "fvh.h"
+# include "ftl.h"
 
 
 # include <stdio.h>
diff --git a/alliance/src/syf/src/syf_cost.c b/alliance/src/syf/src/syf_cost.c
index e23201cb..8deadd8f 100644
--- a/alliance/src/syf/src/syf_cost.c
+++ b/alliance/src/syf/src/syf_cost.c
@@ -42,12 +42,12 @@
 |                                                             |
 \------------------------------------------------------------*/
 
-# include MUT_H
-# include AUT_H
-# include ABL_H
-# include BDD_H
-# include FSM_H
-# include FVH_H
+# include "mut.h"
+# include "aut.h"
+# include "abl.h"
+# include "bdd.h"
+# include "fsm.h"
+# include "fvh.h"
 
 # include <stdio.h>
 # include <stdlib.h>
diff --git a/alliance/src/syf/src/syf_dc.c b/alliance/src/syf/src/syf_dc.c
index 49b5a74a..b61eec49 100644
--- a/alliance/src/syf/src/syf_dc.c
+++ b/alliance/src/syf/src/syf_dc.c
@@ -42,11 +42,11 @@
 |                                                             |
 \------------------------------------------------------------*/
 
-# include MUT_H
-# include AUT_H
-# include ABL_H
-# include BDD_H
-# include FSM_H
+# include "mut.h"
+# include "aut.h"
+# include "abl.h"
+# include "bdd.h"
+# include "fsm.h"
 
 # include <stdio.h>
 # include <stdlib.h>
diff --git a/alliance/src/syf/src/syf_encod.c b/alliance/src/syf/src/syf_encod.c
index 9476690d..addcda9e 100644
--- a/alliance/src/syf/src/syf_encod.c
+++ b/alliance/src/syf/src/syf_encod.c
@@ -42,11 +42,11 @@
 |                                                             |
 \------------------------------------------------------------*/
 
-# include MUT_H
-# include AUT_H
-# include ABL_H
-# include BDD_H
-# include FSM_H
+# include "mut.h"
+# include "aut.h"
+# include "abl.h"
+# include "bdd.h"
+# include "fsm.h"
 
 # include <stdio.h>
 # include <stdlib.h>
diff --git a/alliance/src/syf/src/syf_env.c b/alliance/src/syf/src/syf_env.c
index 8b3e2446..1ac7db20 100644
--- a/alliance/src/syf/src/syf_env.c
+++ b/alliance/src/syf/src/syf_env.c
@@ -41,12 +41,12 @@
 |                                                             |
 \------------------------------------------------------------*/
 
-# include MUT_H
-# include AUT_H
-# include ABL_H
-# include BDD_H
-# include FSM_H
-# include FVH_H
+# include "mut.h"
+# include "aut.h"
+# include "abl.h"
+# include "bdd.h"
+# include "fsm.h"
+# include "fvh.h"
 
 # include <stdio.h>
 # include <stdlib.h>
diff --git a/alliance/src/syf/src/syf_error.c b/alliance/src/syf/src/syf_error.c
index aa995548..ad86d85d 100644
--- a/alliance/src/syf/src/syf_error.c
+++ b/alliance/src/syf/src/syf_error.c
@@ -41,8 +41,8 @@
 |                                                             |
 \------------------------------------------------------------*/
 
-# include MUT_H
-# include AUT_H
+# include "mut.h"
+# include "aut.h"
 
 # include <stdio.h>
 # include <string.h>
diff --git a/alliance/src/syf/src/syf_fsm.c b/alliance/src/syf/src/syf_fsm.c
index b5ca41c7..75baba54 100644
--- a/alliance/src/syf/src/syf_fsm.c
+++ b/alliance/src/syf/src/syf_fsm.c
@@ -42,11 +42,11 @@
 |                                                             |
 \------------------------------------------------------------*/
 
-# include MUT_H
-# include AUT_H
-# include ABL_H
-# include BDD_H
-# include FSM_H
+# include "mut.h"
+# include "aut.h"
+# include "abl.h"
+# include "bdd.h"
+# include "fsm.h"
 
 # include <stdio.h>
 # include <stdlib.h>
diff --git a/alliance/src/syf/src/syf_fsm2fbh.c b/alliance/src/syf/src/syf_fsm2fbh.c
index 9751f4db..944c4749 100644
--- a/alliance/src/syf/src/syf_fsm2fbh.c
+++ b/alliance/src/syf/src/syf_fsm2fbh.c
@@ -42,12 +42,12 @@
 |                                                             |
 \------------------------------------------------------------*/
 
-# include MUT_H
-# include AUT_H
-# include ABL_H
-# include BDD_H
-# include FSM_H
-# include FVH_H
+# include "mut.h"
+# include "aut.h"
+# include "abl.h"
+# include "bdd.h"
+# include "fsm.h"
+# include "fvh.h"
 
 # include <stdio.h>
 # include <stdlib.h>
diff --git a/alliance/src/syf/src/syf_jedi.c b/alliance/src/syf/src/syf_jedi.c
index 055bc272..d3e7a13b 100644
--- a/alliance/src/syf/src/syf_jedi.c
+++ b/alliance/src/syf/src/syf_jedi.c
@@ -47,11 +47,11 @@
 # include <stdlib.h>
 # include <string.h>
 
-# include MUT_H
-# include AUT_H
-# include ABL_H
-# include BDD_H
-# include FSM_H
+# include "mut.h"
+# include "aut.h"
+# include "abl.h"
+# include "bdd.h"
+# include "fsm.h"
 
 # include "syf_fsm.h"
 # include "syf_tools.h"
diff --git a/alliance/src/syf/src/syf_main.c b/alliance/src/syf/src/syf_main.c
index ac3cc932..c95438f1 100644
--- a/alliance/src/syf/src/syf_main.c
+++ b/alliance/src/syf/src/syf_main.c
@@ -42,13 +42,13 @@
 |                                                             |
 \------------------------------------------------------------*/
 
-# include MUT_H
-# include AUT_H
-# include ABL_H
-# include BDD_H
-# include FSM_H
-# include FVH_H
-# include FTL_H
+# include "mut.h"
+# include "aut.h"
+# include "abl.h"
+# include "bdd.h"
+# include "fsm.h"
+# include "fvh.h"
+# include "ftl.h"
 
 # include <stdio.h>
 # include <stdlib.h>
diff --git a/alliance/src/syf/src/syf_must.c b/alliance/src/syf/src/syf_must.c
index 6d3d5c7e..3414a190 100644
--- a/alliance/src/syf/src/syf_must.c
+++ b/alliance/src/syf/src/syf_must.c
@@ -47,11 +47,11 @@
 # include <stdlib.h>
 # include <string.h>
 
-# include MUT_H
-# include AUT_H
-# include ABL_H
-# include BDD_H
-# include FSM_H
+# include "mut.h"
+# include "aut.h"
+# include "abl.h"
+# include "bdd.h"
+# include "fsm.h"
 
 # include "syf_env.h"
 # include "syf_fsm.h"
diff --git a/alliance/src/syf/src/syf_onehot.c b/alliance/src/syf/src/syf_onehot.c
index 53e9c474..8838f78a 100644
--- a/alliance/src/syf/src/syf_onehot.c
+++ b/alliance/src/syf/src/syf_onehot.c
@@ -43,11 +43,11 @@
 |                                                             |
 \------------------------------------------------------------*/
 
-# include MUT_H
-# include AUT_H
-# include ABL_H
-# include BDD_H
-# include FSM_H
+# include "mut.h"
+# include "aut.h"
+# include "abl.h"
+# include "bdd.h"
+# include "fsm.h"
 
 # include <stdio.h>
 # include <memory.h>
diff --git a/alliance/src/syf/src/syf_random.c b/alliance/src/syf/src/syf_random.c
index b0eaae8c..85347252 100644
--- a/alliance/src/syf/src/syf_random.c
+++ b/alliance/src/syf/src/syf_random.c
@@ -48,11 +48,11 @@
 # include <unistd.h>
 # include <string.h>
 
-# include MUT_H
-# include AUT_H
-# include ABL_H
-# include BDD_H
-# include FSM_H
+# include "mut.h"
+# include "aut.h"
+# include "abl.h"
+# include "bdd.h"
+# include "fsm.h"
 
 # include "syf_fsm.h"
 # include "syf_error.h"
diff --git a/alliance/src/syf/src/syf_simp.c b/alliance/src/syf/src/syf_simp.c
index 679fee12..efd41a2c 100644
--- a/alliance/src/syf/src/syf_simp.c
+++ b/alliance/src/syf/src/syf_simp.c
@@ -43,12 +43,12 @@
 |                                                             |
 \------------------------------------------------------------*/
 
-# include MUT_H
-# include AUT_H
-# include ABL_H
-# include BDD_H
-# include FSM_H
-# include FVH_H
+# include "mut.h"
+# include "aut.h"
+# include "abl.h"
+# include "bdd.h"
+# include "fsm.h"
+# include "fvh.h"
 
 # include <stdio.h>
 # include <stdlib.h>
diff --git a/alliance/src/syf/src/syf_synth.c b/alliance/src/syf/src/syf_synth.c
index 84258b6e..6004fa05 100644
--- a/alliance/src/syf/src/syf_synth.c
+++ b/alliance/src/syf/src/syf_synth.c
@@ -42,11 +42,11 @@
 |                                                             |
 \------------------------------------------------------------*/
 
-# include MUT_H
-# include AUT_H
-# include ABL_H
-# include BDD_H
-# include FSM_H
+# include "mut.h"
+# include "aut.h"
+# include "abl.h"
+# include "bdd.h"
+# include "fsm.h"
 
 # include <stdio.h>
 # include <stdlib.h>
diff --git a/alliance/src/syf/src/syf_tools.c b/alliance/src/syf/src/syf_tools.c
index 612aea40..200433b8 100644
--- a/alliance/src/syf/src/syf_tools.c
+++ b/alliance/src/syf/src/syf_tools.c
@@ -43,11 +43,11 @@
 |                                                             |
 \------------------------------------------------------------*/
 
-# include MUT_H
-# include AUT_H
-# include ABL_H
-# include BDD_H
-# include FSM_H
+# include "mut.h"
+# include "aut.h"
+# include "abl.h"
+# include "bdd.h"
+# include "fsm.h"
 
 # include <stdio.h>
 # include <stdlib.h>
diff --git a/alliance/src/syf/src/syf_user.c b/alliance/src/syf/src/syf_user.c
index 093fe006..704efdac 100644
--- a/alliance/src/syf/src/syf_user.c
+++ b/alliance/src/syf/src/syf_user.c
@@ -47,11 +47,11 @@
 # include <string.h>
 # include <ctype.h>
 
-# include MUT_H
-# include AUT_H
-# include ABL_H
-# include BDD_H
-# include FSM_H
+# include "mut.h"
+# include "aut.h"
+# include "abl.h"
+# include "bdd.h"
+# include "fsm.h"
 
 # include "syf_fsm.h"
 # include "syf_error.h"
diff --git a/alliance/src/syf/src/syf_verify.c b/alliance/src/syf/src/syf_verify.c
index 007d75df..790db1d5 100644
--- a/alliance/src/syf/src/syf_verify.c
+++ b/alliance/src/syf/src/syf_verify.c
@@ -42,11 +42,11 @@
 |                                                             |
 \------------------------------------------------------------*/
 
-# include MUT_H
-# include AUT_H
-# include ABL_H
-# include BDD_H
-# include FSM_H
+# include "mut.h"
+# include "aut.h"
+# include "abl.h"
+# include "bdd.h"
+# include "fsm.h"
 
 # include <stdio.h>
 # include <stdlib.h>