hopefully fix jenkins mingw job