--- src/automate_reader.hh.orig	2014-01-22 01:04:27.675051506 +0100
+++ src/automate_reader.hh	2014-01-22 01:04:41.682040341 +0100
@@ -13,6 +13,7 @@
 #define __AUTOMATE_READER_HH__
 
 #include <vector>
+#include <iostream>
 
 class automate_reader
 {