Paul 856431e530 fix up osx lib paths, prepare for coverage build vor 11 Jahren
..
build.bat 856431e530 fix up osx lib paths, prepare for coverage build vor 11 Jahren