Merge pull request #1 from msoos/master

Test MM
Bugfix against compilation error under Windows
Bugfix for --dumpsimplified
which was not more dumping clauses
Remove not more needed debug output
Merge pull request #36 from capiman/master

Bugfix against compilation problems under Windows