A hack necessary for Android emulation