--- a/Make.proto	Mon Sep 02 14:45:35 2013 +0100
+++ b/Make.proto	Wed Sep 04 08:38:25 2013 +0100
@@ -66,6 +66,10 @@
 pre_objs::  
 
 
+# HACK to make it compilable under CVS stx:libtool
+$(INCLUDE_TOP)/stx/libtool/Tools__NavigationState.$(H): $(INCLUDE_TOP)/stx/libtool/Tools_NavigationState.$(H)
+	ln -s $(INCLUDE_TOP)/stx/libtool/Tools_NavigationState.$(H) $(INCLUDE_TOP)/stx/libtool/Tools__NavigationState.$(H)
+
 
 
 # Update SVN revision in package definition class