stephan@140: ../../INSTALL.txt