switch to a different mingw ppa for precise