Thanks. That solved the problem. However, we didn't need the extra -* for all other...
Our build system cannot run on Windows 7 yet (we are in the process of moving to...
Cannot install mingw32-pthreads-w32-dev version 2.9.1-1