Additional improvements to the Android port.