K 10 svn:author V 6 gerald K 8 svn:date V 27 2017-11-23T08:14:50.768410Z K 7 svn:log V 113 Remove second instance of install-strip patch that was applied twice. No functional change. Pointy hat to: self END