diff --git a/src/ltlast/Makefile.am b/src/ltlast/Makefile.am
index e24430393..b2b49b2b0 100644
--- a/src/ltlast/Makefile.am
+++ b/src/ltlast/Makefile.am
@@ -20,7 +20,8 @@
 ## You should have received a copy of the GNU General Public License
 ## along with this program.  If not, see <http://www.gnu.org/licenses/>.
 
-AM_CPPFLAGS = -I$(srcdir)/.. -I..
+AM_CPPFLAGS = -I$(srcdir)/.. -I.. \
+              -I$(top_builddir)/lib -I$(top_srcdir)/lib
 AM_CXXFLAGS = $(WARNING_CXXFLAGS)
 
 ltlastdir = $(pkgincludedir)/ltlast
diff --git a/src/ltlast/atomic_prop.cc b/src/ltlast/atomic_prop.cc
index e32677204..7781d4bbf 100644
--- a/src/ltlast/atomic_prop.cc
+++ b/src/ltlast/atomic_prop.cc
@@ -1,6 +1,6 @@
 // -*- coding: utf-8 -*-
-// Copyright (C) 2009, 2010, 2011, 2012 Laboratoire de Recherche et
-// Développement de l'Epita (LRDE).
+// Copyright (C) 2009, 2010, 2011, 2012, 2013 Laboratoire de Recherche
+// et Développement de l'Epita (LRDE).
 // Copyright (C) 2003, 2004, 2005 Laboratoire d'Informatique de
 // Paris 6 (LIP6), département Systèmes Répartis Coopératifs (SRC),
 // Université Pierre et Marie Curie.
@@ -20,6 +20,7 @@
 // You should have received a copy of the GNU General Public License
 // along with this program.  If not, see <http://www.gnu.org/licenses/>.
 
+#include "config.h"
 #include "atomic_prop.hh"
 #include "visitor.hh"
 #include <cassert>
diff --git a/src/ltlast/automatop.cc b/src/ltlast/automatop.cc
index 68c4535bd..54d8b7078 100644
--- a/src/ltlast/automatop.cc
+++ b/src/ltlast/automatop.cc
@@ -1,6 +1,6 @@
 // -*- coding: utf-8 -*-
-// Copyright (C) 2008, 2009, 2010, 2011, 2012 Laboratoire de Recherche
-// et Développement de l'Epita (LRDE)
+// Copyright (C) 2008, 2009, 2010, 2011, 2012, 2013 Laboratoire de
+// Recherche et Développement de l'Epita (LRDE)
 //
 // This file is part of Spot, a model checking library.
 //
@@ -17,6 +17,7 @@
 // You should have received a copy of the GNU General Public License
 // along with this program.  If not, see <http://www.gnu.org/licenses/>.
 
+#include "config.h"
 #include <iostream>
 #include "automatop.hh"
 #include "nfa.hh"
diff --git a/src/ltlast/binop.cc b/src/ltlast/binop.cc
index 50427299c..6edec881f 100644
--- a/src/ltlast/binop.cc
+++ b/src/ltlast/binop.cc
@@ -1,6 +1,6 @@
 // -*- coding: utf-8 -*-
-// Copyright (C) 2009, 2010, 2011, 2012 Laboratoire de Recherche et
-// Développement de l'Epita (LRDE).
+// Copyright (C) 2009, 2010, 2011, 2012, 2013 Laboratoire de Recherche
+// et Développement de l'Epita (LRDE).
 // Copyright (C) 2003, 2005 Laboratoire d'Informatique de Paris
 // 6 (LIP6), département Systèmes Répartis Coopératifs (SRC),
 // Université Pierre et Marie Curie.
@@ -20,6 +20,7 @@
 // You should have received a copy of the GNU General Public License
 // along with this program.  If not, see <http://www.gnu.org/licenses/>.
 
+#include "config.h"
 #include <cassert>
 #include <utility>
 #include "binop.hh"
diff --git a/src/ltlast/bunop.cc b/src/ltlast/bunop.cc
index 1ba7f9cfe..e4372cdcf 100644
--- a/src/ltlast/bunop.cc
+++ b/src/ltlast/bunop.cc
@@ -1,5 +1,6 @@
-// Copyright (C) 2009, 2010, 2011, 2012 Laboratoire de Recherche et
-// Développement de l'Epita (LRDE).
+// -*- coding: utf-8 -*-
+// Copyright (C) 2009, 2010, 2011, 2012, 2013 Laboratoire de Recherche
+// et Développement de l'Epita (LRDE).
 //
 // This file is part of Spot, a model checking library.
 //
@@ -16,6 +17,7 @@
 // You should have received a copy of the GNU General Public License
 // along with this program.  If not, see <http://www.gnu.org/licenses/>.
 
+#include "config.h"
 #include "bunop.hh"
 #include "visitor.hh"
 #include <cassert>
diff --git a/src/ltlast/constant.cc b/src/ltlast/constant.cc
index 829526dd3..0d2699a22 100644
--- a/src/ltlast/constant.cc
+++ b/src/ltlast/constant.cc
@@ -1,6 +1,6 @@
 // -*- coding: utf-8 -*-
-// Copyright (C) 2009, 2010, 2011, 2012 Laboratoire de Recherche et
-// Développement de l'Epita (LRDE).
+// Copyright (C) 2009, 2010, 2011, 2012, 2013 Laboratoire de Recherche
+// et Développement de l'Epita (LRDE).
 // Copyright (C) 2003, 2005 Laboratoire d'Informatique de Paris
 // 6 (LIP6), département Systèmes Répartis Coopératifs (SRC),
 // Université Pierre et Marie Curie.
@@ -20,6 +20,7 @@
 // You should have received a copy of the GNU General Public License
 // along with this program.  If not, see <http://www.gnu.org/licenses/>.
 
+#include "config.h"
 #include "constant.hh"
 #include "visitor.hh"
 #include <cassert>
diff --git a/src/ltlast/formula_tree.cc b/src/ltlast/formula_tree.cc
index 71290bbcf..ce84f44f3 100644
--- a/src/ltlast/formula_tree.cc
+++ b/src/ltlast/formula_tree.cc
@@ -1,6 +1,6 @@
 // -*- coding: utf-8 -*-
-// Copyright (C) 2009, 2012 Laboratoire de Recherche et Développement
-// de l'Epita (LRDE).
+// Copyright (C) 2009, 2012, 2013 Laboratoire de Recherche et
+// Développement de l'Epita (LRDE).
 //
 // This file is part of Spot, a model checking library.
 //
@@ -17,6 +17,7 @@
 // You should have received a copy of the GNU General Public License
 // along with this program.  If not, see <http://www.gnu.org/licenses/>.
 
+#include "config.h"
 #include <cassert>
 #include "formula_tree.hh"
 #include "allnodes.hh"
diff --git a/src/ltlast/multop.cc b/src/ltlast/multop.cc
index 9eb4a5207..4db789d81 100644
--- a/src/ltlast/multop.cc
+++ b/src/ltlast/multop.cc
@@ -1,8 +1,9 @@
+// -*- coding: utf-8 -*-
 // Copyright (C) 2009, 2010, 2011, 2012, 2013 Laboratoire de Recherche
-// et Développement de l'Epita (LRDE).
+// et Développement de l'Epita (LRDE).
 // Copyright (C) 2003, 2004, 2005 Laboratoire d'Informatique de
-// Paris 6 (LIP6), département Systèmes Répartis Coopératifs (SRC),
-// Université Pierre et Marie Curie.
+// Paris 6 (LIP6), département Systèmes Répartis Coopératifs (SRC),
+// Université Pierre et Marie Curie.
 //
 // This file is part of Spot, a model checking library.
 //
@@ -19,6 +20,7 @@
 // You should have received a copy of the GNU General Public License
 // along with this program.  If not, see <http://www.gnu.org/licenses/>.
 
+#include "config.h"
 #include <cassert>
 #include <utility>
 #include <algorithm>
diff --git a/src/ltlast/nfa.cc b/src/ltlast/nfa.cc
index 95957c2fa..cbcda5d74 100644
--- a/src/ltlast/nfa.cc
+++ b/src/ltlast/nfa.cc
@@ -1,5 +1,6 @@
-// Copyright (C) 2008 Laboratoire de Recherche et Développement
-// de l'Epita (LRDE).
+// -*- coding: utf-8 -*-
+// Copyright (C) 2008, 2013 Laboratoire de Recherche et Développement de
+// l'Epita (LRDE).
 //
 // This file is part of Spot, a model checking library.
 //
@@ -16,6 +17,7 @@
 // You should have received a copy of the GNU General Public License
 // along with this program.  If not, see <http://www.gnu.org/licenses/>.
 
+#include "config.h"
 #include <cassert>
 #include "nfa.hh"
 #include "formula_tree.hh"
diff --git a/src/ltlast/refformula.cc b/src/ltlast/refformula.cc
index cf94173ea..b57438d3b 100644
--- a/src/ltlast/refformula.cc
+++ b/src/ltlast/refformula.cc
@@ -1,6 +1,6 @@
 // -*- coding: utf-8 -*-
-// Copyright (C) 2010, 2012 Laboratoire de Recherche de Developpement de
-// l'EPITA (LRDE).
+// Copyright (C) 2010, 2012, 2013 Laboratoire de Recherche de
+// Developpement de l'EPITA (LRDE).
 // Copyright (C) 2003, 2004  Laboratoire d'Informatique de Paris 6 (LIP6),
 // département Systèmes Répartis Coopératifs (SRC), Université Pierre
 // et Marie Curie.
@@ -20,6 +20,7 @@
 // You should have received a copy of the GNU General Public License
 // along with this program.  If not, see <http://www.gnu.org/licenses/>.
 
+#include "config.h"
 #include "refformula.hh"
 #include <cassert>
 
diff --git a/src/ltlast/unop.cc b/src/ltlast/unop.cc
index 2ac6cbec8..72df2f9d9 100644
--- a/src/ltlast/unop.cc
+++ b/src/ltlast/unop.cc
@@ -20,6 +20,7 @@
 // You should have received a copy of the GNU General Public License
 // along with this program.  If not, see <http://www.gnu.org/licenses/>.
 
+#include "config.h"
 #include "unop.hh"
 #include "visitor.hh"
 #include <cassert>