As above. Also needed for MinGW32