diff --git a/src/experiments/l4-sys/experiment.cc b/src/experiments/l4-sys/experiment.cc
index 9a18d830..d3e5ed19 100644
--- a/src/experiments/l4-sys/experiment.cc
+++ b/src/experiments/l4-sys/experiment.cc
@@ -4,7 +4,6 @@
 #include "campaign.hpp"
 
 #include "sal/SALConfig.hpp"
-#include "config/FailConfig.hpp"
 
 using namespace std;
 using namespace fail;
diff --git a/src/experiments/l4-sys/experimentFI.cc b/src/experiments/l4-sys/experimentFI.cc
index 6b224563..a2d041d3 100644
--- a/src/experiments/l4-sys/experimentFI.cc
+++ b/src/experiments/l4-sys/experimentFI.cc
@@ -2,19 +2,13 @@
 
 #include "experiment.hpp"
 #include "experimentInfo.hpp"
-#include "UDIS86.hpp"
 #include "InstructionFilter.hpp"
+#include "UDIS86.hpp"
 #include "aluinstr.hpp"
 #include "campaign.hpp"
 
-#include "sal/SALConfig.hpp"
-#include "sal/SALInst.hpp"
-#include "sal/Memory.hpp"
-#include "sal/Listener.hpp"
 #include <sal/bochs/BochsMemory.hpp>
-#include "config/FailConfig.hpp"
-#include "TracePlugin.pb.h"
-#include "util/ProtoStream.hpp"
+#include "sal/SALConfig.hpp"
 
 using namespace std;
 using namespace fail;
diff --git a/src/experiments/l4-sys/experimentPreparation.cc b/src/experiments/l4-sys/experimentPreparation.cc
index 5050bf96..42776f86 100644
--- a/src/experiments/l4-sys/experimentPreparation.cc
+++ b/src/experiments/l4-sys/experimentPreparation.cc
@@ -6,15 +6,10 @@
 #include "aluinstr.hpp"
 
 #include "sal/SALConfig.hpp"
-#include "sal/SALInst.hpp"
-#include "sal/Memory.hpp"
-#include "sal/Listener.hpp"
-#include <sal/bochs/BochsMemory.hpp>
-#include "config/FailConfig.hpp"
-#include "TracePlugin.pb.h"
-#include "util/ProtoStream.hpp"
 #include "util/gzstream/gzstream.h"
-#include "util/CommandLine.hpp"
+#include "util/ProtoStream.hpp"
+#include "TracePlugin.pb.h"
+#include "sal/Listener.hpp"
 
 using namespace std;
 using namespace fail;