diff --git a/LEDA/include/CGAL/LEDA_basic.h b/LEDA/include/CGAL/LEDA_basic.h
index 5dc01566024..6c05c14c58d 100644
--- a/LEDA/include/CGAL/LEDA_basic.h
+++ b/LEDA/include/CGAL/LEDA_basic.h
@@ -25,6 +25,7 @@
 // The following is needed for LEDA 4.4 due to min/max problems...
 #  define LEDA_NO_MIN_MAX_TEMPL
 
+#include <fstream> // as a workaround for a missing include in <LEDA/internal/PREAMBLE.h>
 #include <LEDA/system/basic.h>
 
 #ifdef LEDA_NAMESPACE