#include <config.h>
#include <fstream>
-using std::ifstream;
-using std::getline;
-
#include <cstdlib>
#ifdef __GNUG__
#include "support/filetools.h"
using std::ostream;
+using std::ifstream;
+using std::getline;
using std::endl;
extern BufferView * current_view;