Merge pull request #584 from wernsaar/develop
authorwernsaar <wernsaar@googlemail.com>
Fri, 29 May 2015 11:27:20 +0000 (13:27 +0200)
committerwernsaar <wernsaar@googlemail.com>
Fri, 29 May 2015 11:27:20 +0000 (13:27 +0200)
bugfixes, to build benchmarks with mingw on Windows OS


Trivial merge