Right, Windows' os string is mingw32. Oops...