--- frontend/pisa_view_manager.h.orig	2008-06-11 15:02:57.215502256 +0200
+++ frontend/pisa_view_manager.h	2008-06-11 15:03:10.813875095 +0200
@@ -48,6 +48,8 @@
 
 #include "file-selector.h"
 
+#include <string.h>
+
 class view_manager
 {
  public: