issue #2870: fix compile error on android