Workaround for bad headers on mingw.