Small fix for Android build on Windows