Fix android port