Maybe fix mingw build issue #255.