diff --git a/alliance/src/bdd/src/bddalloc.c b/alliance/src/bdd/src/bddalloc.c
index d0834c94..7a8cb030 100644
--- a/alliance/src/bdd/src/bddalloc.c
+++ b/alliance/src/bdd/src/bddalloc.c
@@ -41,10 +41,10 @@
 |                                                             |
 \------------------------------------------------------------*/
 
-# include MUT_H
-# include AUT_H
-# include ABL_H
-# include BDD_H
+# include "mut.h"
+# include "aut.h"
+# include "abl.h"
+# include "bdd.h"
 
 # include <stdio.h>
 # include "bddalloc.h"
diff --git a/alliance/src/bdd/src/bddapply.c b/alliance/src/bdd/src/bddapply.c
index a56bca2b..27298676 100644
--- a/alliance/src/bdd/src/bddapply.c
+++ b/alliance/src/bdd/src/bddapply.c
@@ -41,10 +41,10 @@
 |                                                             |
 \------------------------------------------------------------*/
 
-# include MUT_H
-# include AUT_H
-# include ABL_H
-# include BDD_H
+# include "mut.h"
+# include "aut.h"
+# include "abl.h"
+# include "bdd.h"
 
 # include <stdio.h>
 # include "bddapply.h"
diff --git a/alliance/src/bdd/src/bddassoc.c b/alliance/src/bdd/src/bddassoc.c
index 551c283b..089937ff 100644
--- a/alliance/src/bdd/src/bddassoc.c
+++ b/alliance/src/bdd/src/bddassoc.c
@@ -41,10 +41,10 @@
 |                                                             |
 \------------------------------------------------------------*/
 
-# include MUT_H
-# include AUT_H
-# include ABL_H
-# include BDD_H
+# include "mut.h"
+# include "aut.h"
+# include "abl.h"
+# include "bdd.h"
 
 # include <stdio.h>
 # include "bddassoc.h"
diff --git a/alliance/src/bdd/src/bddblock.c b/alliance/src/bdd/src/bddblock.c
index 64d2190a..96e9a63b 100644
--- a/alliance/src/bdd/src/bddblock.c
+++ b/alliance/src/bdd/src/bddblock.c
@@ -41,10 +41,10 @@
 |                                                             |
 \------------------------------------------------------------*/
 
-# include MUT_H
-# include AUT_H
-# include ABL_H
-# include BDD_H
+# include "mut.h"
+# include "aut.h"
+# include "abl.h"
+# include "bdd.h"
 
 # include <stdio.h>
 # include <stdlib.h>
diff --git a/alliance/src/bdd/src/bddcheck.c b/alliance/src/bdd/src/bddcheck.c
index 81083586..a60002e3 100644
--- a/alliance/src/bdd/src/bddcheck.c
+++ b/alliance/src/bdd/src/bddcheck.c
@@ -41,10 +41,10 @@
 |                                                             |
 \------------------------------------------------------------*/
 
-# include MUT_H
-# include AUT_H
-# include ABL_H
-# include BDD_H
+# include "mut.h"
+# include "aut.h"
+# include "abl.h"
+# include "bdd.h"
 
 # include <stdio.h>
 # include "bddcheck.h"
diff --git a/alliance/src/bdd/src/bddcircuit.c b/alliance/src/bdd/src/bddcircuit.c
index 46ee96f7..b666eeca 100644
--- a/alliance/src/bdd/src/bddcircuit.c
+++ b/alliance/src/bdd/src/bddcircuit.c
@@ -41,10 +41,10 @@
 |                                                             |
 \------------------------------------------------------------*/
 
-# include MUT_H
-# include AUT_H
-# include ABL_H
-# include BDD_H
+# include "mut.h"
+# include "aut.h"
+# include "abl.h"
+# include "bdd.h"
 
 # include <stdio.h>
 # include <memory.h>
diff --git a/alliance/src/bdd/src/bddcofactor.c b/alliance/src/bdd/src/bddcofactor.c
index db698da5..a22eafda 100644
--- a/alliance/src/bdd/src/bddcofactor.c
+++ b/alliance/src/bdd/src/bddcofactor.c
@@ -41,10 +41,10 @@
 |                                                             |
 \------------------------------------------------------------*/
 
-# include MUT_H
-# include AUT_H
-# include ABL_H
-# include BDD_H
+# include "mut.h"
+# include "aut.h"
+# include "abl.h"
+# include "bdd.h"
 
 # include <stdio.h>
 # include "bddcofactor.h"
diff --git a/alliance/src/bdd/src/bddcompose.c b/alliance/src/bdd/src/bddcompose.c
index c24df25e..97f5432b 100644
--- a/alliance/src/bdd/src/bddcompose.c
+++ b/alliance/src/bdd/src/bddcompose.c
@@ -41,10 +41,10 @@
 |                                                             |
 \------------------------------------------------------------*/
 
-# include MUT_H
-# include AUT_H
-# include ABL_H
-# include BDD_H
+# include "mut.h"
+# include "aut.h"
+# include "abl.h"
+# include "bdd.h"
 
 # include <stdio.h>
 # include "bddcompose.h"
diff --git a/alliance/src/bdd/src/bddconvert.c b/alliance/src/bdd/src/bddconvert.c
index 0b397e2f..cbd38461 100644
--- a/alliance/src/bdd/src/bddconvert.c
+++ b/alliance/src/bdd/src/bddconvert.c
@@ -41,10 +41,10 @@
 |                                                             |
 \------------------------------------------------------------*/
 
-# include MUT_H
-# include AUT_H
-# include ABL_H
-# include BDD_H
+# include "mut.h"
+# include "aut.h"
+# include "abl.h"
+# include "bdd.h"
 
 # include <stdio.h>
 # include "bddconvert.h"
diff --git a/alliance/src/bdd/src/bdddump.c b/alliance/src/bdd/src/bdddump.c
index c01eb392..a1e20d0e 100644
--- a/alliance/src/bdd/src/bdddump.c
+++ b/alliance/src/bdd/src/bdddump.c
@@ -41,10 +41,10 @@
 |                                                             |
 \------------------------------------------------------------*/
 
-# include MUT_H
-# include AUT_H
-# include ABL_H
-# include BDD_H
+# include "mut.h"
+# include "aut.h"
+# include "abl.h"
+# include "bdd.h"
 
 # include <stdio.h>
 # include <string.h>
diff --git a/alliance/src/bdd/src/bddenv.c b/alliance/src/bdd/src/bddenv.c
index 70d3a98b..f9445fd4 100644
--- a/alliance/src/bdd/src/bddenv.c
+++ b/alliance/src/bdd/src/bddenv.c
@@ -41,10 +41,10 @@
 |                                                             |
 \------------------------------------------------------------*/
 
-# include MUT_H
-# include AUT_H
-# include ABL_H
-# include BDD_H
+# include "mut.h"
+# include "aut.h"
+# include "abl.h"
+# include "bdd.h"
 
 # include <stdio.h>
 # include "bddenv.h"
diff --git a/alliance/src/bdd/src/bdderror.c b/alliance/src/bdd/src/bdderror.c
index 800a9ecb..c5672bf8 100644
--- a/alliance/src/bdd/src/bdderror.c
+++ b/alliance/src/bdd/src/bdderror.c
@@ -44,10 +44,10 @@
 
 # include <stdio.h>
 # include <string.h>
-# include MUT_H
-# include AUT_H
-# include ABL_H
-# include BDD_H
+# include "mut.h"
+# include "aut.h"
+# include "abl.h"
+# include "bdd.h"
 # include "bdderror.h"
 
 /*------------------------------------------------------------\
diff --git a/alliance/src/bdd/src/bddexist.c b/alliance/src/bdd/src/bddexist.c
index d9450fba..89c49bcb 100644
--- a/alliance/src/bdd/src/bddexist.c
+++ b/alliance/src/bdd/src/bddexist.c
@@ -41,10 +41,10 @@
 |                                                             |
 \------------------------------------------------------------*/
 
-# include MUT_H
-# include AUT_H
-# include ABL_H
-# include BDD_H
+# include "mut.h"
+# include "aut.h"
+# include "abl.h"
+# include "bdd.h"
 
 # include <stdio.h>
 # include "bddassoc.h"
diff --git a/alliance/src/bdd/src/bddexplosion.c b/alliance/src/bdd/src/bddexplosion.c
index 2d2aa78d..c69205e6 100644
--- a/alliance/src/bdd/src/bddexplosion.c
+++ b/alliance/src/bdd/src/bddexplosion.c
@@ -43,10 +43,10 @@
 |                                                             |
 \------------------------------------------------------------*/
 
-# include MUT_H
-# include AUT_H
-# include ABL_H
-# include BDD_H
+# include "mut.h"
+# include "aut.h"
+# include "abl.h"
+# include "bdd.h"
 
 # include <stdio.h>
 # include "bddexplosion.h"
diff --git a/alliance/src/bdd/src/bddflag.c b/alliance/src/bdd/src/bddflag.c
index 50098ffc..d71fd059 100644
--- a/alliance/src/bdd/src/bddflag.c
+++ b/alliance/src/bdd/src/bddflag.c
@@ -41,10 +41,10 @@
 |                                                             |
 \------------------------------------------------------------*/
 
-# include MUT_H
-# include AUT_H
-# include ABL_H
-# include BDD_H
+# include "mut.h"
+# include "aut.h"
+# include "abl.h"
+# include "bdd.h"
 
 # include <stdio.h>
 # include "bddflag.h"
diff --git a/alliance/src/bdd/src/bddfraction.c b/alliance/src/bdd/src/bddfraction.c
index be588c17..83e893cc 100644
--- a/alliance/src/bdd/src/bddfraction.c
+++ b/alliance/src/bdd/src/bddfraction.c
@@ -41,10 +41,10 @@
 |                                                             |
 \------------------------------------------------------------*/
 
-# include MUT_H
-# include AUT_H
-# include ABL_H
-# include BDD_H
+# include "mut.h"
+# include "aut.h"
+# include "abl.h"
+# include "bdd.h"
 
 # include <stdio.h>
 # include "bddfraction.h"
diff --git a/alliance/src/bdd/src/bddfree.c b/alliance/src/bdd/src/bddfree.c
index 1b0852da..1dfeb66d 100644
--- a/alliance/src/bdd/src/bddfree.c
+++ b/alliance/src/bdd/src/bddfree.c
@@ -41,10 +41,10 @@
 |                                                             |
 \------------------------------------------------------------*/
 
-# include MUT_H
-# include AUT_H
-# include ABL_H
-# include BDD_H
+# include "mut.h"
+# include "aut.h"
+# include "abl.h"
+# include "bdd.h"
 
 # include <stdio.h>
 # include "bddfree.h"
diff --git a/alliance/src/bdd/src/bddgarbage.c b/alliance/src/bdd/src/bddgarbage.c
index bdcd8211..33ae8e37 100644
--- a/alliance/src/bdd/src/bddgarbage.c
+++ b/alliance/src/bdd/src/bddgarbage.c
@@ -41,10 +41,10 @@
 |                                                             |
 \------------------------------------------------------------*/
 
-# include MUT_H
-# include AUT_H
-# include ABL_H
-# include BDD_H
+# include "mut.h"
+# include "aut.h"
+# include "abl.h"
+# include "bdd.h"
 
 # include <stdio.h>
 # include "bddgarbage.h"
diff --git a/alliance/src/bdd/src/bddheath.c b/alliance/src/bdd/src/bddheath.c
index d20bd3f7..5302334b 100644
--- a/alliance/src/bdd/src/bddheath.c
+++ b/alliance/src/bdd/src/bddheath.c
@@ -41,10 +41,10 @@
 |                                                             |
 \------------------------------------------------------------*/
 
-# include MUT_H
-# include AUT_H
-# include ABL_H
-# include BDD_H
+# include "mut.h"
+# include "aut.h"
+# include "abl.h"
+# include "bdd.h"
 
 # include <stdio.h>
 # include "bddheath.h"
diff --git a/alliance/src/bdd/src/bddhnode.c b/alliance/src/bdd/src/bddhnode.c
index b9fca894..f68c2658 100644
--- a/alliance/src/bdd/src/bddhnode.c
+++ b/alliance/src/bdd/src/bddhnode.c
@@ -41,10 +41,10 @@
 |                                                             |
 \------------------------------------------------------------*/
 
-# include MUT_H
-# include AUT_H
-# include ABL_H
-# include BDD_H
+# include "mut.h"
+# include "aut.h"
+# include "abl.h"
+# include "bdd.h"
 
 # include <stdio.h>
 # include <string.h>
diff --git a/alliance/src/bdd/src/bddhoper.c b/alliance/src/bdd/src/bddhoper.c
index 19c94b32..d08d03a0 100644
--- a/alliance/src/bdd/src/bddhoper.c
+++ b/alliance/src/bdd/src/bddhoper.c
@@ -41,10 +41,10 @@
 |                                                             |
 \------------------------------------------------------------*/
 
-# include MUT_H
-# include AUT_H
-# include ABL_H
-# include BDD_H
+# include "mut.h"
+# include "aut.h"
+# include "abl.h"
+# include "bdd.h"
 
 # include <stdio.h>
 # include <string.h>
diff --git a/alliance/src/bdd/src/bddimply.c b/alliance/src/bdd/src/bddimply.c
index a9edaf87..dbebd6e0 100644
--- a/alliance/src/bdd/src/bddimply.c
+++ b/alliance/src/bdd/src/bddimply.c
@@ -41,10 +41,10 @@
 |                                                             |
 \------------------------------------------------------------*/
 
-# include MUT_H
-# include AUT_H
-# include ABL_H
-# include BDD_H
+# include "mut.h"
+# include "aut.h"
+# include "abl.h"
+# include "bdd.h"
 
 # include <stdio.h>
 
diff --git a/alliance/src/bdd/src/bddlog.c b/alliance/src/bdd/src/bddlog.c
index 9e5a31f2..90225298 100644
--- a/alliance/src/bdd/src/bddlog.c
+++ b/alliance/src/bdd/src/bddlog.c
@@ -41,10 +41,10 @@
 |                                                             |
 \------------------------------------------------------------*/
 
-# include MUT_H
-# include AUT_H
-# include ABL_H
-# include BDD_H
+# include "mut.h"
+# include "aut.h"
+# include "abl.h"
+# include "bdd.h"
 
 # include <stdio.h>
 # include <string.h>
diff --git a/alliance/src/bdd/src/bddmark.c b/alliance/src/bdd/src/bddmark.c
index 94efbbea..96b6f11f 100644
--- a/alliance/src/bdd/src/bddmark.c
+++ b/alliance/src/bdd/src/bddmark.c
@@ -41,10 +41,10 @@
 |                                                             |
 \------------------------------------------------------------*/
 
-# include MUT_H
-# include AUT_H
-# include ABL_H
-# include BDD_H
+# include "mut.h"
+# include "aut.h"
+# include "abl.h"
+# include "bdd.h"
 
 # include <stdio.h>
 # include "bddmark.h"
diff --git a/alliance/src/bdd/src/bddnode.c b/alliance/src/bdd/src/bddnode.c
index c250c8df..7a5e881e 100644
--- a/alliance/src/bdd/src/bddnode.c
+++ b/alliance/src/bdd/src/bddnode.c
@@ -41,10 +41,10 @@
 |                                                             |
 \------------------------------------------------------------*/
 
-# include MUT_H
-# include AUT_H
-# include ABL_H
-# include BDD_H
+# include "mut.h"
+# include "aut.h"
+# include "abl.h"
+# include "bdd.h"
 
 # include <stdio.h>
 # include <string.h>
diff --git a/alliance/src/bdd/src/bddoptimize.c b/alliance/src/bdd/src/bddoptimize.c
index 54c0a2a4..d63952c3 100644
--- a/alliance/src/bdd/src/bddoptimize.c
+++ b/alliance/src/bdd/src/bddoptimize.c
@@ -28,10 +28,10 @@
 /*                               Includes                               */
 /*----------------------------------------------------------------------*/
 
-# include MUT_H
-# include AUT_H
-# include ABL_H
-# include BDD_H
+# include "mut.h"
+# include "aut.h"
+# include "abl.h"
+# include "bdd.h"
 
 # include <stdio.h>
 # include "bddoptimize.h"
diff --git a/alliance/src/bdd/src/bddreduce.c b/alliance/src/bdd/src/bddreduce.c
index c6b826ff..520f3e8b 100644
--- a/alliance/src/bdd/src/bddreduce.c
+++ b/alliance/src/bdd/src/bddreduce.c
@@ -41,10 +41,10 @@
 |                                                             |
 \------------------------------------------------------------*/
 
-# include MUT_H
-# include AUT_H
-# include ABL_H
-# include BDD_H
+# include "mut.h"
+# include "aut.h"
+# include "abl.h"
+# include "bdd.h"
 
 # include <stdio.h>
 # include "bddassoc.h"
diff --git a/alliance/src/bdd/src/bddref.c b/alliance/src/bdd/src/bddref.c
index 7dbed8a4..c0b400c3 100644
--- a/alliance/src/bdd/src/bddref.c
+++ b/alliance/src/bdd/src/bddref.c
@@ -41,10 +41,10 @@
 |                                                             |
 \------------------------------------------------------------*/
 
-# include MUT_H
-# include AUT_H
-# include ABL_H
-# include BDD_H
+# include "mut.h"
+# include "aut.h"
+# include "abl.h"
+# include "bdd.h"
 
 # include <stdio.h>
 # include "bddref.h"
diff --git a/alliance/src/bdd/src/bddrelprod.c b/alliance/src/bdd/src/bddrelprod.c
index 902e1661..49a37206 100644
--- a/alliance/src/bdd/src/bddrelprod.c
+++ b/alliance/src/bdd/src/bddrelprod.c
@@ -41,10 +41,10 @@
 |                                                             |
 \------------------------------------------------------------*/
 
-# include MUT_H
-# include AUT_H
-# include ABL_H
-# include BDD_H
+# include "mut.h"
+# include "aut.h"
+# include "abl.h"
+# include "bdd.h"
 
 # include <stdio.h>
 # include "bddassoc.h"
diff --git a/alliance/src/bdd/src/bddreorder.c b/alliance/src/bdd/src/bddreorder.c
index beb6d365..054c4752 100644
--- a/alliance/src/bdd/src/bddreorder.c
+++ b/alliance/src/bdd/src/bddreorder.c
@@ -43,10 +43,10 @@
 |                                                             |
 \------------------------------------------------------------*/
 
-# include MUT_H
-# include AUT_H
-# include ABL_H
-# include BDD_H
+# include "mut.h"
+# include "aut.h"
+# include "abl.h"
+# include "bdd.h"
 
 # include <stdio.h>
 # include "bddreorder.h"
diff --git a/alliance/src/bdd/src/bddresize.c b/alliance/src/bdd/src/bddresize.c
index 747606f6..d6867975 100644
--- a/alliance/src/bdd/src/bddresize.c
+++ b/alliance/src/bdd/src/bddresize.c
@@ -41,10 +41,10 @@
 |                                                             |
 \------------------------------------------------------------*/
 
-# include MUT_H
-# include AUT_H
-# include ABL_H
-# include BDD_H
+# include "mut.h"
+# include "aut.h"
+# include "abl.h"
+# include "bdd.h"
 
 # include <stdio.h>
 # include "bddresize.h"
diff --git a/alliance/src/bdd/src/bddsatisfy.c b/alliance/src/bdd/src/bddsatisfy.c
index ddd1625d..80954616 100644
--- a/alliance/src/bdd/src/bddsatisfy.c
+++ b/alliance/src/bdd/src/bddsatisfy.c
@@ -41,10 +41,10 @@
 |                                                             |
 \------------------------------------------------------------*/
 
-# include MUT_H
-# include AUT_H
-# include ABL_H
-# include BDD_H
+# include "mut.h"
+# include "aut.h"
+# include "abl.h"
+# include "bdd.h"
 
 # include <stdio.h>
 # include "bddsatisfy.h"
diff --git a/alliance/src/bdd/src/bddsimpdc.c b/alliance/src/bdd/src/bddsimpdc.c
index f9ef67e2..8f638133 100644
--- a/alliance/src/bdd/src/bddsimpdc.c
+++ b/alliance/src/bdd/src/bddsimpdc.c
@@ -41,10 +41,10 @@
 |                                                             |
 \------------------------------------------------------------*/
 
-# include MUT_H
-# include AUT_H
-# include ABL_H
-# include BDD_H
+# include "mut.h"
+# include "aut.h"
+# include "abl.h"
+# include "bdd.h"
 
 # include <stdio.h>
 # include "bddapply.h"
diff --git a/alliance/src/bdd/src/bddsubst.c b/alliance/src/bdd/src/bddsubst.c
index 0b543e0e..942f48fa 100644
--- a/alliance/src/bdd/src/bddsubst.c
+++ b/alliance/src/bdd/src/bddsubst.c
@@ -41,10 +41,10 @@
 |                                                             |
 \------------------------------------------------------------*/
 
-# include MUT_H
-# include AUT_H
-# include ABL_H
-# include BDD_H
+# include "mut.h"
+# include "aut.h"
+# include "abl.h"
+# include "bdd.h"
 
 # include <stdio.h>
 # include "bddassoc.h"
diff --git a/alliance/src/bdd/src/bddsupport.c b/alliance/src/bdd/src/bddsupport.c
index d8fea219..36c89a19 100644
--- a/alliance/src/bdd/src/bddsupport.c
+++ b/alliance/src/bdd/src/bddsupport.c
@@ -41,10 +41,10 @@
 |                                                             |
 \------------------------------------------------------------*/
 
-# include MUT_H
-# include AUT_H
-# include ABL_H
-# include BDD_H
+# include "mut.h"
+# include "aut.h"
+# include "abl.h"
+# include "bdd.h"
 
 # include <stdio.h>
 # include "bddsupport.h"
diff --git a/alliance/src/bdd/src/bddsweep.c b/alliance/src/bdd/src/bddsweep.c
index a9528155..b255ba27 100644
--- a/alliance/src/bdd/src/bddsweep.c
+++ b/alliance/src/bdd/src/bddsweep.c
@@ -41,10 +41,10 @@
 |                                                             |
 \------------------------------------------------------------*/
 
-# include MUT_H
-# include AUT_H
-# include ABL_H
-# include BDD_H
+# include "mut.h"
+# include "aut.h"
+# include "abl.h"
+# include "bdd.h"
 
 # include <stdio.h>
 # include "bddsweep.h"
diff --git a/alliance/src/bdd/src/bddsystem.c b/alliance/src/bdd/src/bddsystem.c
index 443bd122..3fc9d29e 100644
--- a/alliance/src/bdd/src/bddsystem.c
+++ b/alliance/src/bdd/src/bddsystem.c
@@ -41,10 +41,10 @@
 |                                                             |
 \------------------------------------------------------------*/
 
-# include MUT_H
-# include AUT_H
-# include ABL_H
-# include BDD_H
+# include "mut.h"
+# include "aut.h"
+# include "abl.h"
+# include "bdd.h"
 
 # include <stdio.h>
 # include "bddsystem.h"
diff --git a/alliance/src/bdd/src/bddtest.c b/alliance/src/bdd/src/bddtest.c
index ab4bbfd6..cc9f5c84 100644
--- a/alliance/src/bdd/src/bddtest.c
+++ b/alliance/src/bdd/src/bddtest.c
@@ -45,10 +45,10 @@
 # include <stdlib.h>
 # include <string.h>
 
-# include MUT_H
-# include AUT_H
-# include ABL_H
-# include BDD_H
+# include "mut.h"
+# include "aut.h"
+# include "abl.h"
+# include "bdd.h"
 
 # include "bddtest.h"
 # include "bdderror.h"
diff --git a/alliance/src/bdd/src/bddtransfert.c b/alliance/src/bdd/src/bddtransfert.c
index dc1aa57d..08326220 100644
--- a/alliance/src/bdd/src/bddtransfert.c
+++ b/alliance/src/bdd/src/bddtransfert.c
@@ -28,10 +28,10 @@
 /*                               Includes                               */
 /*----------------------------------------------------------------------*/
 
-# include MUT_H
-# include AUT_H
-# include ABL_H
-# include BDD_H
+# include "mut.h"
+# include "aut.h"
+# include "abl.h"
+# include "bdd.h"
 
 # include <stdio.h>
 # include "bddtransfert.h"
diff --git a/alliance/src/bdd/src/bdduser.c b/alliance/src/bdd/src/bdduser.c
index 2509236e..52f8f0d3 100644
--- a/alliance/src/bdd/src/bdduser.c
+++ b/alliance/src/bdd/src/bdduser.c
@@ -41,10 +41,10 @@
 |                                                             |
 \------------------------------------------------------------*/
 
-# include MUT_H
-# include AUT_H
-# include ABL_H
-# include BDD_H
+# include "mut.h"
+# include "aut.h"
+# include "abl.h"
+# include "bdd.h"
 
 # include <stdio.h>
 # include "bdduser.h"
diff --git a/alliance/src/bdd/src/bddvar.c b/alliance/src/bdd/src/bddvar.c
index a61e6416..1b35a42c 100644
--- a/alliance/src/bdd/src/bddvar.c
+++ b/alliance/src/bdd/src/bddvar.c
@@ -41,10 +41,10 @@
 |                                                             |
 \------------------------------------------------------------*/
 
-# include MUT_H
-# include AUT_H
-# include ABL_H
-# include BDD_H
+# include "mut.h"
+# include "aut.h"
+# include "abl.h"
+# include "bdd.h"
 
 # include <stdio.h>
 # include <memory.h>
diff --git a/alliance/src/bdd/src/bddvaraux.c b/alliance/src/bdd/src/bddvaraux.c
index a320f31c..509378e6 100644
--- a/alliance/src/bdd/src/bddvaraux.c
+++ b/alliance/src/bdd/src/bddvaraux.c
@@ -41,10 +41,10 @@
 |                                                             |
 \------------------------------------------------------------*/
 
-# include MUT_H
-# include AUT_H
-# include ABL_H
-# include BDD_H
+# include "mut.h"
+# include "aut.h"
+# include "abl.h"
+# include "bdd.h"
 
 # include <stdio.h>
 # include "bddapply.h"
diff --git a/alliance/src/bdd/src/bddvartree.c b/alliance/src/bdd/src/bddvartree.c
index 9d51c144..74194583 100644
--- a/alliance/src/bdd/src/bddvartree.c
+++ b/alliance/src/bdd/src/bddvartree.c
@@ -15,10 +15,10 @@
 |                                                             |
 \------------------------------------------------------------*/
 
-# include MUT_H
-# include AUT_H
-# include ABL_H
-# include BDD_H
+# include "mut.h"
+# include "aut.h"
+# include "abl.h"
+# include "bdd.h"
 
 # include <stdio.h>
 # include "bddvartree.h"
diff --git a/alliance/src/bdd/src/main.c b/alliance/src/bdd/src/main.c
index bf4ef820..146d9c87 100644
--- a/alliance/src/bdd/src/main.c
+++ b/alliance/src/bdd/src/main.c
@@ -26,10 +26,10 @@
 \------------------------------------------------------------*/
 # include <stdio.h>
 
-# include MUT_H
-# include AUT_H
-# include ABL_H
-# include BDD_H
+# include "mut.h"
+# include "aut.h"
+# include "abl.h"
+# include "bdd.h"
 
 int main( argc, argv )