Some more things for gnulib on mingw32