K 10 svn:author V 5 garga K 8 svn:date V 27 2013-10-31T23:28:18.674948Z K 7 svn:log V 47 . Use modern OPTION knobs to simplify Makefile END