mingw: fix Ubuntu 13.10 / Debian Wheezy mingw mess