Feature #5592: Fix android compilation issue