#include "lyxlex.h"
-#include "support/gzstream.h"
+#ifdef USE_COMPRESSION
+# include "support/gzstream.h"
+#endif
#include <boost/utility.hpp>
+#include <fstream>
+#include <istream>
#include <stack>
#include <vector>
void pushToken(std::string const &);
/// fb_ is only used to open files, the stream is accessed through is.
std::filebuf fb_;
+
+#ifdef USE_COMPRESSION
/// gz_ is only used to open files, the stream is accessed through is.
gz::gzstreambuf gz_;
+#endif
/// the stream that we use.
std::istream is;