The version used on the build server, and one I had on OSX (not sure the exact version). You can see the logs on the CI here: http://ci.kogmbh.com/jenkins/job/WebODF-PullReq/1499/consoleFull by searching for: counter(