K 10 svn:author V 6 philip K 8 svn:date V 27 2017-08-06T12:17:52.963976Z K 7 svn:log V 98 Fix build on HEAD >= 1200039. Submitted by: Santhosh Raju (maintainer) END