Small fix for Android build on Windows

This tiny change fixes the build on Windows with mingw-w64