K 10 svn:author V 2 mr K 8 svn:date V 27 2019-02-07T20:43:35.065884Z K 7 svn:log V 48 Fix configure Submitted by: Andrea Venturoli END