fix issue #119 Win32 tools=no build mangles system library names