handling of <minus/> with one argument (fixes #3), some more fixes for build problems