K 10 svn:author V 2 sf K 8 svn:date V 27 2001-09-21T14:38:18.000000Z K 7 svn:log V 56 use CONFIGURE_TARGET to create header name dynamically. END