K 10 svn:author V 7 antoine K 8 svn:date V 27 2017-01-02T06:30:48.341646Z K 7 svn:log V 55 Restore distinfo corresponding to Makefile and unbreak END