K 10 svn:author V 3 tom K 8 svn:date V 27 2000-01-29T13:32:50.000000Z K 7 svn:log V 90 Fix ${PREFIX} substitution problem Submitted by: Jeroen Ruigrok/Asmodai END